:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Weng, Ke, Du, Lun, Li, Sirui, Lu, Wangyue, Sun, Haozhe, Liu, Hengyu, Zhang, Tiancheng
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2505.23486
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Automated Formalization via Conceptual Retrieval-Augmented LLMs
by: Lu, Wangyue, et al.
Published: (2025)

MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification
by: Li, Sirui, et al.
Published: (2025)

A Survey on Multimodal Large Language Models
by: Yin, Shukang, et al.
Published: (2023)

Imposter.AI: Adversarial Attacks with Hidden Intentions towards Aligned Large Language Models
by: Liu, Xiao, et al.
Published: (2024)

Can Large Language Models Autoformalize Kinematics?
by: Kabra, Aditi, et al.
Published: (2025)

Autoformalization of Game Descriptions using Large Language Models
by: Mensfelt, Agnieszka, et al.
Published: (2024)

Document Intelligence in the Era of Large Language Models: A Survey
by: Wang, Weishi, et al.
Published: (2025)

Autoformalizer with Tool Feedback
by: Guo, Qi, et al.
Published: (2025)

Quality Assessment in the Era of Large Models: A Survey
by: Zhang, Zicheng, et al.
Published: (2024)

Autoformalizing Euclidean Geometry
by: Murphy, Logan, et al.
Published: (2024)

A Survey: Collaborative Hardware and Software Design in the Era of Large Language Models
by: Guo, Cong, et al.
Published: (2024)

Large Language Models for Constructing and Optimizing Machine Learning Workflows: A Survey
by: Gu, Yang, et al.
Published: (2024)

FormaRL: Enhancing Autoformalization with no Labeled Data
by: Huang, Yanxing, et al.
Published: (2025)

Large Language Model for Table Processing: A Survey
by: Lu, Weizheng, et al.
Published: (2024)

SQAP-VLA: A Synergistic Quantization-Aware Pruning Framework for High-Performance Vision-Language-Action Models
by: Fang, Hengyu, et al.
Published: (2025)

Improving Autoformalization Using Direct Dependency Retrieval
by: Wang, Shaoqi, et al.
Published: (2025)

VISTA: Knowledge-Driven Vessel Trajectory Imputation with Repair Provenance
by: Liu, Hengyu, et al.
Published: (2026)

A Survey on Multimodal Benchmarks: In the Era of Large AI Models
by: Li, Lin, et al.
Published: (2024)

An Examination on the Effectiveness of Divide-and-Conquer Prompting in Large Language Models
by: Zhang, Yizhou, et al.
Published: (2024)

KELPS: A Framework for Verified Multi-Language Autoformalization via Semantic-Syntactic Alignment
by: Zhang, Jiyao, et al.
Published: (2025)

SITA: A Framework for Structure-to-Instance Theorem Autoformalization
by: Li, Chenyi, et al.
Published: (2025)

Towards Controllable Speech Synthesis in the Era of Large Language Models: A Systematic Survey
by: Xie, Tianxin, et al.
Published: (2024)

Revisiting Model Stitching In the Foundation Model Era
by: Mai, Zheda, et al.
Published: (2026)

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

A Survey on Fairness in Large Language Models
by: Li, Yingji, et al.
Published: (2023)

A Survey of Large Language Models
by: Zhao, Wayne Xin, et al.
Published: (2023)

Cold-Start Recommendation towards the Era of Large Language Models (LLMs): A Comprehensive Survey and Roadmap
by: Zhang, Weizhi, et al.
Published: (2025)

GhostCite: A Large-Scale Analysis of Citation Validity in the Age of Large Language Models
by: Xu, Zuyao, et al.
Published: (2026)

Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language Models
by: Chen, Qiguang, et al.
Published: (2025)

Towards a Common Framework for Autoformalization
by: Mensfelt, Agnieszka, et al.
Published: (2025)

SambaLingo: Teaching Large Language Models New Languages
by: Csaki, Zoltan, et al.
Published: (2024)

A New Approach Towards Autoformalization
by: Patel, Nilay, et al.
Published: (2023)

Evolutionary Computation in the Era of Large Language Model: Survey and Roadmap
by: Wu, Xingyu, et al.
Published: (2024)

Jailbreak Attacks and Defenses Against Large Language Models: A Survey
by: Yi, Sibo, et al.
Published: (2024)

Large Language Models for Robotics: A Survey
by: Zeng, Fanlong, et al.
Published: (2023)

FormalAlign: Automated Alignment Evaluation for Autoformalization
by: Lu, Jianqiao, et al.
Published: (2024)

Talking to Yourself: Defying Forgetting in Large Language Models
by: Sun, Yutao, et al.
Published: (2026)

MathAtlas: A Benchmark for Autoformalization in the Wild
by: Patel, Nilay, et al.
Published: (2026)

Large Language Model-based Data Science Agent: A Survey
by: Chen, Ke, et al.
Published: (2025)

A New Era in Human Factors Engineering: A Survey of the Applications and Prospects of Large Multimodal Models
by: Fan, Li, et al.
Published: (2024)