Image de couverture de livre

COMPOSE: Composing Future Theorems from Citations and Formal Structure

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Busbib, David, Werman, Michael
Format:	Preprint
Publié:	2026
Sujets:	Computation and Language
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

OProver: A Unified Framework for Agentic Formal Theorem Proving
par: Ma, David, et autres
Publié: (2026)

Steering LLMs for Formal Theorem Proving
par: Kirtania, Shashank, et autres
Publié: (2025)

Mechanic: Sorrifier-Driven Formal Decomposition Workflow for Automated Theorem Proving
par: Qiu, Ruichen, et autres
Publié: (2026)

Composing or Not Composing? Towards Distributional Construction Grammars
par: Blache, Philippe, et autres
Publié: (2024)

DRIFT: Decompose, Retrieve, Illustrate, then Formalize Theorems
par: Zhang, Meiru, et autres
Publié: (2025)

Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean 4
par: Tang, Xichen
Publié: (2024)

Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification
par: Rao, Balaji, et autres
Publié: (2025)

Spark-Prover-X1: Formal Theorem Proving Through Diverse Data Training
par: Zhou, Xinyuan, et autres
Publié: (2025)

COMPOSE: Comprehensive Portrait Shadow Editing
par: Hou, Andrew, et autres
Publié: (2024)

Explorable Theorems: Making Written Theorems Explorable by Grounding Them in Formal Representations
par: Kambhamettu, Hita, et autres
Publié: (2026)

Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
par: Liu, Qi, et autres
Publié: (2025)

The Noisy Path from Source to Citation: Measuring How Scholars Engage with Past Research
par: Chen, Hong, et autres
Publié: (2025)

An In-Context Learning Agent for Formal Theorem-Proving
par: Thakur, Amitayush, et autres
Publié: (2023)

ComposeRAG: A Modular and Composable RAG for Corpus-Grounded Multi-Hop Question Answering
par: Wu, Ruofan, et autres
Publié: (2025)

Contextualizing Generated Citation Texts
par: Mandal, Biswadip, et autres
Publié: (2024)

Self-Discover: Large Language Models Self-Compose Reasoning Structures
par: Zhou, Pei, et autres
Publié: (2024)

CanonNet: Canonical Ordering and Curvature Learning for Point Cloud Analysis
par: Friedmann, Benjy, et autres
Publié: (2025)

Robust affine point matching via quadratic assignment on Grassmannians
par: Kolpakov, Alexander, et autres
Publié: (2023)

ForeCite: Adapting Pre-Trained Language Models to Predict Future Citation Rates of Academic Papers
par: Hull, Gavin, et autres
Publié: (2025)

SCIRGC: Multi-Granularity Citation Recommendation and Citation Sentence Preference Alignment
par: Li, Xiangyu, et autres
Publié: (2025)

Citation-Based Summarization of Landmark Judgments
par: Bindal, Purnima, et autres
Publié: (2024)

Learning to Plan and Generate Text with Citations
par: Fierro, Constanza, et autres
Publié: (2024)

Attribution, Citation, and Quotation: A Survey of Evidence-based Text Generation with Large Language Models
par: Schreieder, Tobias, et autres
Publié: (2025)

Citation Failure: Definition, Analysis and Efficient Mitigation
par: Buchmann, Jan, et autres
Publié: (2025)

Cited Text Spans for Citation Text Generation
par: Li, Xiangci, et autres
Publié: (2023)

Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs
par: Li, Guchan, et autres
Publié: (2026)

Citation Grounding: Detecting and Reducing LLM Citation Hallucinations via Legal Citation Graphs
par: Ovcharov, Volodymyr
Publié: (2026)

Taxonomy Tree Generation from Citation Graph
par: Hu, Yuntong, et autres
Publié: (2024)

Learning Composable Chains-of-Thought
par: Yin, Fangcong, et autres
Publié: (2025)

Composable Interventions for Language Models
par: Kolbeinsson, Arinbjorn, et autres
Publié: (2024)

FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
par: Lin, Xiaohan, et autres
Publié: (2024)

Composable Cross-prompt Essay Scoring by Merging Models
par: Lee, Sanwoo, et autres
Publié: (2025)

MA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving
par: Wang, Ruida, et autres
Publié: (2025)

CiteBART: Learning to Generate Citations for Local Citation Recommendation
par: Çelik, Ege Yiğit, et autres
Publié: (2024)

Bridging Legal Interpretation and Formal Logic: Faithfulness, Assumption, and the Future of AI Legal Reasoning
par: Wang, Olivia Peiyu, et autres
Publié: (2026)

NILE: Formalizing Natural-Language Descriptions of Formal Languages
par: Kneisel, Tristan, et autres
Publié: (2026)

Verifiable Generation with Subsentence-Level Fine-Grained Citations
par: Cao, Shuyang, et autres
Publié: (2024)

Related Work and Citation Text Generation: A Survey
par: Li, Xiangci, et autres
Publié: (2024)

CiteCheck: Towards Accurate Citation Faithfulness Detection
par: Xu, Ziyao, et autres
Publié: (2025)

CitaLaw: Enhancing LLM with Citations in Legal Domain
par: Zhang, Kepu, et autres
Publié: (2024)