:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Weng, Ke, Du, Lun, Li, Sirui, Lu, Wangyue, Sun, Haozhe, Liu, Hengyu, Zhang, Tiancheng
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence
Accès en ligne:	https://arxiv.org/abs/2505.23486
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Automated Formalization via Conceptual Retrieval-Augmented LLMs
par: Lu, Wangyue, et autres
Publié: (2025)

MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification
par: Li, Sirui, et autres
Publié: (2025)

A Survey on Multimodal Large Language Models
par: Yin, Shukang, et autres
Publié: (2023)

Imposter.AI: Adversarial Attacks with Hidden Intentions towards Aligned Large Language Models
par: Liu, Xiao, et autres
Publié: (2024)

Can Large Language Models Autoformalize Kinematics?
par: Kabra, Aditi, et autres
Publié: (2025)

Autoformalization of Game Descriptions using Large Language Models
par: Mensfelt, Agnieszka, et autres
Publié: (2024)

Document Intelligence in the Era of Large Language Models: A Survey
par: Wang, Weishi, et autres
Publié: (2025)

Autoformalizer with Tool Feedback
par: Guo, Qi, et autres
Publié: (2025)

Quality Assessment in the Era of Large Models: A Survey
par: Zhang, Zicheng, et autres
Publié: (2024)

Autoformalizing Euclidean Geometry
par: Murphy, Logan, et autres
Publié: (2024)

A Survey: Collaborative Hardware and Software Design in the Era of Large Language Models
par: Guo, Cong, et autres
Publié: (2024)

Large Language Models for Constructing and Optimizing Machine Learning Workflows: A Survey
par: Gu, Yang, et autres
Publié: (2024)

FormaRL: Enhancing Autoformalization with no Labeled Data
par: Huang, Yanxing, et autres
Publié: (2025)

Large Language Model for Table Processing: A Survey
par: Lu, Weizheng, et autres
Publié: (2024)

SQAP-VLA: A Synergistic Quantization-Aware Pruning Framework for High-Performance Vision-Language-Action Models
par: Fang, Hengyu, et autres
Publié: (2025)

Improving Autoformalization Using Direct Dependency Retrieval
par: Wang, Shaoqi, et autres
Publié: (2025)

VISTA: Knowledge-Driven Vessel Trajectory Imputation with Repair Provenance
par: Liu, Hengyu, et autres
Publié: (2026)

A Survey on Multimodal Benchmarks: In the Era of Large AI Models
par: Li, Lin, et autres
Publié: (2024)

An Examination on the Effectiveness of Divide-and-Conquer Prompting in Large Language Models
par: Zhang, Yizhou, et autres
Publié: (2024)

KELPS: A Framework for Verified Multi-Language Autoformalization via Semantic-Syntactic Alignment
par: Zhang, Jiyao, et autres
Publié: (2025)

SITA: A Framework for Structure-to-Instance Theorem Autoformalization
par: Li, Chenyi, et autres
Publié: (2025)

Towards Controllable Speech Synthesis in the Era of Large Language Models: A Systematic Survey
par: Xie, Tianxin, et autres
Publié: (2024)

Revisiting Model Stitching In the Foundation Model Era
par: Mai, Zheda, et autres
Publié: (2026)

Experimental Study on Time Series Analysis of Lower Limb Rehabilitation Exercise Data Driven by Novel Model Architecture and Large Models
par: Lin, Hengyu
Publié: (2025)

A Survey on Fairness in Large Language Models
par: Li, Yingji, et autres
Publié: (2023)

A Survey of Large Language Models
par: Zhao, Wayne Xin, et autres
Publié: (2023)

Cold-Start Recommendation towards the Era of Large Language Models (LLMs): A Comprehensive Survey and Roadmap
par: Zhang, Weizhi, et autres
Publié: (2025)

GhostCite: A Large-Scale Analysis of Citation Validity in the Age of Large Language Models
par: Xu, Zuyao, et autres
Publié: (2026)

Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language Models
par: Chen, Qiguang, et autres
Publié: (2025)

Towards a Common Framework for Autoformalization
par: Mensfelt, Agnieszka, et autres
Publié: (2025)

SambaLingo: Teaching Large Language Models New Languages
par: Csaki, Zoltan, et autres
Publié: (2024)

A New Approach Towards Autoformalization
par: Patel, Nilay, et autres
Publié: (2023)

Evolutionary Computation in the Era of Large Language Model: Survey and Roadmap
par: Wu, Xingyu, et autres
Publié: (2024)

Jailbreak Attacks and Defenses Against Large Language Models: A Survey
par: Yi, Sibo, et autres
Publié: (2024)

Large Language Models for Robotics: A Survey
par: Zeng, Fanlong, et autres
Publié: (2023)

FormalAlign: Automated Alignment Evaluation for Autoformalization
par: Lu, Jianqiao, et autres
Publié: (2024)

Talking to Yourself: Defying Forgetting in Large Language Models
par: Sun, Yutao, et autres
Publié: (2026)

MathAtlas: A Benchmark for Autoformalization in the Wild
par: Patel, Nilay, et autres
Publié: (2026)

Large Language Model-based Data Science Agent: A Survey
par: Chen, Ke, et autres
Publié: (2025)

A New Era in Human Factors Engineering: A Survey of the Applications and Prospects of Large Multimodal Models
par: Fan, Li, et autres
Publié: (2024)