Cover Image

A New Approach Towards Autoformalization

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Patel, Nilay, Saha, Rahul, Flanigan, Jeffrey
Format:	Preprint
Published:	2023
Subjects:	Computation and Language Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Future Language Modeling from Temporal Document History
by: Li, Changmao, et al.
Published: (2024)

RAC: Efficient LLM Factuality Correction with Retrieval Augmentation
by: Li, Changmao, et al.
Published: (2024)

Towards Autoformalization of LLM-generated Outputs for Requirement Verification
by: Gupte, Mihir, et al.
Published: (2025)

Faithful Autoformalization via Roundtrip Verification and Repair
by: Amrollahi, Daneshvar, et al.
Published: (2026)

An Evaluation Benchmark for Autoformalization in Lean4
by: Gulati, Aryan, et al.
Published: (2024)

Reliable Evaluation and Benchmarks for Statement Autoformalization
by: Poiroux, Auguste, et al.
Published: (2024)

Large Language Model Unlearning via Embedding-Corrupted Prompts
by: Liu, Chris Yuhao, et al.
Published: (2024)

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

From RLHF to Direct Alignment: A Theoretical Unification of Preference Learning for Large Language Models
by: Raheja, Tarun, et al.
Published: (2026)

Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization
by: Agarwal, Anmol, et al.
Published: (2026)

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

Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
by: Zhou, Jin Peng, et al.
Published: (2024)

ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data
by: Liu, Xiaoyang, et al.
Published: (2025)

Argument-Aware Approach To Event Linking
by: Hsu, I-Hung, et al.
Published: (2024)

An EcoSage Assistant: Towards Building A Multimodal Plant Care Dialogue Assistant
by: Tomar, Mohit, et al.
Published: (2024)

StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion
by: Wu, Yutong, et al.
Published: (2025)

Towards Knowledge-Infused Automated Disease Diagnosis Assistant
by: Tomar, Mohit, et al.
Published: (2024)

Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection
by: Lalwani, Abhinav, et al.
Published: (2024)

Recent advancements in LLM Red-Teaming: Techniques, Defenses, and Ethical Considerations
by: Raheja, Tarun, et al.
Published: (2024)

From Concrete to Abstract: A Multimodal Generative Approach to Abstract Concept Learning
by: Xie, Haodong, et al.
Published: (2024)

Towards AGI A Pragmatic Approach Towards Self Evolving Agent
by: Kar, Indrajit, et al.
Published: (2026)

Towards Universal Semantics With Large Language Models
by: Baartmans, Raymond, et al.
Published: (2025)

Knowledge-Aware Self-Correction in Language Models via Structured Memory Graphs
by: Saha, Swayamjit
Published: (2025)

Yes, this is what I was looking for! Towards Multi-modal Medical Consultation Concern Summary Generation
by: Tiwari, Abhisek, et al.
Published: (2024)

VOILA: Evaluation of MLLMs For Perceptual Understanding and Analogical Reasoning
by: Yilmaz, Nilay, et al.
Published: (2025)

Bengali Text Classification: An Evaluation of Large Language Model Approaches
by: Hoque, Md Mahmudul, et al.
Published: (2026)

CodeChain: Towards Modular Code Generation Through Chain of Self-revisions with Representative Sub-modules
by: Le, Hung, et al.
Published: (2023)

Evaluating the Role of Large Language Models in Legal Practice in India
by: Hemrajani, Rahul
Published: (2025)

Green Shielding: A User-Centric Approach Towards Trustworthy AI
by: Li, Aaron J., et al.
Published: (2026)

Towards a Generative Approach for Emotion Detection and Reasoning
by: Bhaumik, Ankita, et al.
Published: (2024)

Multi-Modal Fact-Verification Framework for Reducing Hallucinations in Large Language Models
by: Patel, Piyushkumar
Published: (2025)

Consolidating Strategies for Countering Hate Speech Using Persuasive Dialogues
by: Saha, Sougata, et al.
Published: (2024)

User Behavior Prediction as a Generic, Robust, Scalable, and Low-Cost Evaluation Strategy for Estimating Generalization in LLMs
by: Saha, Sougata, et al.
Published: (2025)

MedSumm: A Multimodal Approach to Summarizing Code-Mixed Hindi-English Clinical Queries
by: Ghosh, Akash, et al.
Published: (2024)

Towards Privacy-Preserving Machine Translation at the Inference Stage: A New Task and Benchmark
by: Shao, Wei, et al.
Published: (2026)

ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization
by: Cabral, Rafael, et al.
Published: (2025)

Towards a Personal Health Large Language Model
by: Cosentino, Justin, et al.
Published: (2024)

Towards Leveraging News Media to Support Impact Assessment of AI Technologies
by: Allaham, Mowafak, et al.
Published: (2024)

Towards Real-Time Fake News Detection under Evidence Scarcity
by: Wei, Guangyu, et al.
Published: (2025)