Copertina

GFLean: An Autoformalisation Framework for Lean via GF

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Pathak, Shashank
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Computation and Language Logic I.2.7
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

CRISP: Persistent Concept Unlearning via Sparse Autoencoders
di: Ashuach, Tomer, et al.
Pubblicazione: (2025)

Inductive Learning of Logical Theories with LLMs: An Expressivity-Graded Analysis
di: Gandarela, João Pedro, et al.
Pubblicazione: (2024)

Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4
di: Aniva, Leni, et al.
Pubblicazione: (2024)

Correct Chains, Wrong Answers: Dissociating Reasoning from Output in LLM Logic
di: Rao, Abinav, et al.
Pubblicazione: (2026)

RomanLens: The Role Of Latent Romanization In Multilinguality In LLMs
di: Saji, Alan, et al.
Pubblicazione: (2025)

Text-Based Approaches to Item Difficulty Modeling in Large-Scale Assessments: A Systematic Review
di: Peters, Sydney, et al.
Pubblicazione: (2025)

ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings
di: Jana, Prithwish, et al.
Pubblicazione: (2025)

What to Keep and What to Drop: Adaptive Table Filtering Framework
di: Jang, WonJune
Pubblicazione: (2025)

Do LLMs Game Formalization? Evaluating Faithfulness in Logical Reasoning
di: Kim, Kyuhee, et al.
Pubblicazione: (2026)

Retrieve-Refine-Calibrate: A Framework for Complex Claim Fact-Checking
di: Sun, Mingwei, et al.
Pubblicazione: (2026)

Comonadic Morphophonology: A Compositional Framework for Context-Dependent Morphological Rules in Finnish
di: Jang, Yongseok
Pubblicazione: (2026)

SynSym: A Synthetic Data Generation Framework for Psychiatric Symptom Identification
di: Kang, Migyeong, et al.
Pubblicazione: (2026)

Encoder-Decoder Framework for Interactive Free Verses with Generation with Controllable High-Quality Rhyming
di: Pasini, Tommaso, et al.
Pubblicazione: (2024)

UrduFactCheck: An Agentic Fact-Checking Framework for Urdu with Evidence Boosting and Benchmarking
di: Ahmad, Sarfraz, et al.
Pubblicazione: (2025)

Towards Fundamental Language Models: Does Linguistic Competence Scale with Model Size?
di: Collado-Montañez, Jaime, et al.
Pubblicazione: (2025)

SeLeRoSa: Sentence-Level Romanian Satire Detection Dataset
di: Smădu, Răzvan-Alexandru, et al.
Pubblicazione: (2025)

Learning Translations via Matrix Completion
di: Wijaya, Derry, et al.
Pubblicazione: (2024)

A Multi-Pass Large Language Model Framework for Precise and Efficient Radiology Report Error Detection
di: Kim, Songsoo, et al.
Pubblicazione: (2025)

SynDocDis: A Metadata-Driven Framework for Generating Synthetic Physician Discussions Using Large Language Models
di: Rubinstein, Beny, et al.
Pubblicazione: (2026)

ToolGen: Unified Tool Retrieval and Calling via Generation
di: Wang, Renxi, et al.
Pubblicazione: (2024)

Efficient Reasoning via Thought-Training and Thought-Free Inference
di: Wu, Canhui, et al.
Pubblicazione: (2025)

Improving Retrospective Language Agents via Joint Policy Gradient Optimization
di: Feng, Xueyang, et al.
Pubblicazione: (2025)

HACHIMI: Scalable and Controllable Student Persona Generation via Orchestrated Agents
di: Jiang, Yilin, et al.
Pubblicazione: (2026)

Adapting Multilingual Models to Code-Mixed Tasks via Model Merging
di: Kodali, Prashant, et al.
Pubblicazione: (2025)

HumanLLM: Benchmarking and Improving LLM Anthropomorphism via Human Cognitive Patterns
di: Wang, Xintao, et al.
Pubblicazione: (2026)

REVS: Unlearning Sensitive Information in Language Models via Rank Editing in the Vocabulary Space
di: Ashuach, Tomer, et al.
Pubblicazione: (2024)

Enhancing the Reasoning Capabilities of Small Language Models via Solution Guidance Fine-Tuning
di: Bi, Jing, et al.
Pubblicazione: (2024)

Reflective Translation: Improving Low-Resource Machine Translation via Structured Self-Reflection
di: Cheng, Nicholas
Pubblicazione: (2026)

Enhancing Software-Related Information Extraction via Single-Choice Question Answering with Large Language Models
di: Otto, Wolfgang, et al.
Pubblicazione: (2024)

myNER: Contextualized Burmese Named Entity Recognition with Bidirectional LSTM and fastText Embeddings via Joint Training with POS Tagging
di: Thant, Kaung Lwin, et al.
Pubblicazione: (2025)

MCP: A Control-Theoretic Orchestration Framework for Synergistic Efficiency and Interpretability in Multimodal Large Language Models
di: Zhang, Luyan
Pubblicazione: (2025)

Graphemic Normalization of the Perso-Arabic Script
di: Doctor, Raiomond, et al.
Pubblicazione: (2022)

Beyond Arabic: Software for Perso-Arabic Script Manipulation
di: Gutkin, Alexander, et al.
Pubblicazione: (2023)

Mitigating Cross-Lingual Cultural Inconsistencies in LLMs via Consensus-Driven Preference Optimisation
di: Resck, Lucas, et al.
Pubblicazione: (2026)

Induce, Align, Predict: Zero-Shot Stance Detection via Cognitive Inductive Reasoning
di: Zhang, Bowen, et al.
Pubblicazione: (2025)

Low-resource neural machine translation with morphological modeling
di: Nzeyimana, Antoine
Pubblicazione: (2024)

KinyaColBERT: A Lexically Grounded Retrieval Model for Low-Resource Retrieval-Augmented Generation
di: Nzeyimana, Antoine, et al.
Pubblicazione: (2025)

TRiMS: Real-Time Tracking of Minimal Sufficient Length for Efficient Reasoning via RL
di: Bian, Tingcheng, et al.
Pubblicazione: (2026)

ICG: Improving Cover Image Generation via MLLM-based Prompting and Personalized Preference Alignment
di: Bian, Zhipeng, et al.
Pubblicazione: (2026)

Evaluating the Efficacy of Hybrid Deep Learning Models in Distinguishing AI-Generated Text
di: Oketunji, Abiodun Finbarrs
Pubblicazione: (2023)