Image de couverture de livre

DRIFT: Decompose, Retrieve, Illustrate, then Formalize Theorems

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Zhang, Meiru, Borchert, Philipp, Gritta, Milan, Lampouras, Gerasimos
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence Computation and Language Information Retrieval Symbolic Computation
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Benchmark for Deep Information Synthesis
par: Paul, Debjit, et autres
Publié: (2026)

Knowledge Integration for Physics-informed Symbolic Regression Using Pre-trained Large Language Models
par: Taskin, Bilge, et autres
Publié: (2025)

Conjecturing: An Overlooked Step in Formal Mathematical Reasoning
par: Sivakumar, Jasivan Alex, et autres
Publié: (2025)

TopoAlign: A Framework for Aligning Code to Math via Topological Decomposition
par: Li, Yupei, et autres
Publié: (2025)

Memory as Resonance: A Biomimetic Architecture for Infinite Context Memory on Ergodic Phonetic Manifolds
par: Houichime, Tarik, et autres
Publié: (2025)

Simulation to Rules: A Dual-VLM Framework for Formal Visual Planning
par: Hao, Yilun, et autres
Publié: (2025)

DReSD: Dense Retrieval for Speculative Decoding
par: Gritta, Milan, et autres
Publié: (2025)

Learning an Effective Premise Retrieval Model for Efficient Mathematical Formalization
par: Tao, Yicheng, et autres
Publié: (2025)

R1-Code-Interpreter: LLMs Reason with Code via Supervised and Multi-stage Reinforcement Learning
par: Chen, Yongchao, et autres
Publié: (2025)

AbstRaL: Augmenting LLMs' Reasoning by Reinforcing Abstract Thinking
par: Gao, Silin, et autres
Publié: (2025)

ConceptGuard: Neuro-Symbolic Safety Guardrails via Sparse Interpretable Jailbreak Concepts
par: Aswal, Darpan, et autres
Publié: (2025)

GOFAI meets Generative AI: Development of Expert Systems by means of Large Language Models
par: Garrido-Merchán, Eduardo C., et autres
Publié: (2025)

Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis
par: Sinha, Sania, et autres
Publié: (2025)

Speaking in Words, Thinking in Logic: A Dual-Process Framework in QA Systems
par: Bui, Tuan, et autres
Publié: (2025)

ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark
par: Shalyt, Michael, et autres
Publié: (2025)

Towards Automated Functional Equation Proving: A Benchmark Dataset and A Domain-Specific In-Context Agent
par: Buali, Mahdi, et autres
Publié: (2024)

Large Language Models as Mirrors of Societal Moral Standards
par: Papadopoulou, Evi, et autres
Publié: (2024)

Quantum Knowledge Graph: Modeling Context-Dependent Triplet Validity
par: Wang, Yao, et autres
Publié: (2026)

LLMs as mirrors of societal moral standards: reflection of cultural divergence and agreement across ethical topics
par: Meijer, Mijntje, et autres
Publié: (2024)

Cognitive LLMs: Towards Integrating Cognitive Architectures and Large Language Models for Manufacturing Decision-making
par: Wu, Siyu, et autres
Publié: (2024)

ONSEP: A Novel Online Neural-Symbolic Framework for Event Prediction Based on Large Language Model
par: Yu, Xuanqing, et autres
Publié: (2024)

Mixture of Attentions For Speculative Decoding
par: Zimmer, Matthieu, et autres
Publié: (2024)

Formal Verification of Neural Certificates Done Dynamically
par: Henzinger, Thomas A., et autres
Publié: (2025)

HumanRankEval: Automatic Evaluation of LMs as Conversational Assistants
par: Gritta, Milan, et autres
Publié: (2024)

Identifying and Decomposing Compound Ingredients in Meal Plans Using Large Language Models
par: Kopitar, Leon, et autres
Publié: (2024)

Graph-DPEP: Decomposed Plug and Ensemble Play for Few-Shot Document Relation Extraction with Graph-of-Thoughts Reasoning
par: Zhang, Tao, et autres
Publié: (2024)

ParallelSearch: Train your LLMs to Decompose Query and Search Sub-queries in Parallel with Reinforcement Learning
par: Zhao, Shu, et autres
Publié: (2025)

R^2AG: Incorporating Retrieval Information into Retrieval Augmented Generation
par: Ye, Fuda, et autres
Publié: (2024)

The Neurosymbolic Frontier of Nonuniform Ellipticity: Formalizing Sharp Schauder Theory via Topos-Theoretic Reasoning Models
par: Mishra, Suyash
Publié: (2026)

Scalable High-Recall Constraint-Satisfaction-Based Information Retrieval for Clinical Trials Matching
par: Zhou, Cyrus, et autres
Publié: (2026)

Utility-Focused LLM Annotation for Retrieval and Retrieval-Augmented Generation
par: Zhang, Hengran, et autres
Publié: (2025)

Is Table Retrieval a Solved Problem? Exploring Join-Aware Multi-Table Retrieval
par: Chen, Peter Baile, et autres
Publié: (2024)

Dense X Retrieval: What Retrieval Granularity Should We Use?
par: Chen, Tong, et autres
Publié: (2023)

Can we Retrieve Everything All at Once? ARM: An Alignment-Oriented LLM-based Retrieval Method
par: Chen, Peter Baile, et autres
Publié: (2025)

Distillation Enhanced Generative Retrieval
par: Li, Yongqi, et autres
Publié: (2024)

RARe: Retrieval Augmented Retrieval with In-Context Examples
par: Tejaswi, Atula, et autres
Publié: (2024)

LLM Alignment as Retriever Optimization: An Information Retrieval Perspective
par: Jin, Bowen, et autres
Publié: (2025)

Benchmarking Information Retrieval Models on Complex Retrieval Tasks
par: Killingback, Julian, et autres
Publié: (2025)

From Matching to Generation: A Survey on Generative Information Retrieval
par: Li, Xiaoxi, et autres
Publié: (2024)

FinRetrieval: A Benchmark for Financial Data Retrieval by AI Agents
par: Kim, Eric Y., et autres
Publié: (2026)