Imagen de Portada

A Theorem-Proving-Based Evaluation of Neural Semantic Parsing

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Funakura, Hayate, Kim, Hyunsoo, Mineshima, Koji
Formato:	Preprint
Publicado:	2025
Materias:	Computation and Language
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

RLMEval: Evaluating Research-Level Neural Theorem Proving
por: Poiroux, Auguste, et al.
Publicado: (2025)

Benchmarking Testing in Automated Theorem Proving
por: Kim, Jongyoon, et al.
Publicado: (2026)

Evaluation of Deontic Conditional Reasoning in Large Language Models: The Case of Wason's Selection Task
por: Abe, Hirohiko, et al.
Publicado: (2026)

miniCTX: Neural Theorem Proving with (Long-)Contexts
por: Hu, Jiewen, et al.
Publicado: (2024)

AutoTemplate: A Simple Recipe for Lexically Constrained Text Generation
por: Iso, Hayate
Publicado: (2022)

Normative Reasoning in Large Language Models: A Comparative Benchmark from Logical and Modal Perspectives
por: Ozeki, Kentaro, et al.
Publicado: (2025)

Neural Semantic Parsing with Extremely Rich Symbolic Meaning Representations
por: Zhang, Xiao, et al.
Publicado: (2024)

Abductive Reasoning with Syllogistic Forms in Large Language Models
por: Abe, Hirohiko, et al.
Publicado: (2026)

Exploring Reasoning Biases in Large Language Models Through Syllogism: Insights from the NeuBAROCO Dataset
por: Ozeki, Kentaro, et al.
Publicado: (2024)

Automated Theorem Proving for Prolog Verification
por: Mesnard, Fred, et al.
Publicado: (2026)

The Rarity Blind Spot: A Framework for Evaluating Statistical Reasoning in LLMs
por: Maekawa, Seiji, et al.
Publicado: (2025)

Aristotle: IMO-level Automated Theorem Proving
por: Achim, Tudor, et al.
Publicado: (2025)

Scaling Natural-Language Graph-Based Test Time Compute for Automated Theorem Proving
por: Li, Vincent, et al.
Publicado: (2025)

Steering LLMs for Formal Theorem Proving
por: Kirtania, Shashank, et al.
Publicado: (2025)

SCORE: A Semantic Evaluation Framework for Generative Document Parsing
por: Li, Renyu, et al.
Publicado: (2025)

BenchCLAMP: A Benchmark for Evaluating Language Models on Syntactic and Semantic Parsing
por: Roy, Subhro, et al.
Publicado: (2022)

Semantic Parsing with Candidate Expressions for Knowledge Base Question Answering
por: Nam, Daehwan, et al.
Publicado: (2024)

OProver: A Unified Framework for Agentic Formal Theorem Proving
por: Ma, David, et al.
Publicado: (2026)

Lyra: Orchestrating Dual Correction in Automated Theorem Proving
por: Zheng, Chuanyang, et al.
Publicado: (2023)

PhysProver: Advancing Automatic Theorem Proving for Physics
por: Zhang, Hanning, et al.
Publicado: (2026)

PMB5: Gaining More Insight into Neural Semantic Parsing with Challenging Benchmarks
por: Zhang, Xiao, et al.
Publicado: (2024)

Mechanic: Sorrifier-Driven Formal Decomposition Workflow for Automated Theorem Proving
por: Qiu, Ruichen, et al.
Publicado: (2026)

Learning to Reason with Insight for Informal Theorem Proving
por: Li, Yunhe, et al.
Publicado: (2026)

Cross-lingual Back-Parsing: Utterance Synthesis from Meaning Representation for Zero-Resource Semantic Parsing
por: Kang, Deokhyung, et al.
Publicado: (2024)

Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
por: Liu, Chengwu, et al.
Publicado: (2026)

Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification
por: Rao, Balaji, et al.
Publicado: (2025)

Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations
por: Quan, Xin, et al.
Publicado: (2025)

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
por: Chen, Luoxin, et al.
Publicado: (2025)

Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean 4
por: Tang, Xichen
Publicado: (2024)

Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
por: Quan, Xin, et al.
Publicado: (2024)

Cleanse: Uncertainty Estimation Approach Using Clustering-based Semantic Consistency in LLMs
por: Joo, Minsuh, et al.
Publicado: (2025)

BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
por: Petrov, Ivo, et al.
Publicado: (2025)

DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning
por: Zhang, Ziyin, et al.
Publicado: (2025)

Exploring In-Context Learning for Frame-Semantic Parsing
por: Garat, Diego, et al.
Publicado: (2025)

Scope-enhanced Compositional Semantic Parsing for DRT
por: Yang, Xiulin, et al.
Publicado: (2024)

AmbigNLG: Addressing Task Ambiguity in Instruction for NLG
por: Niwa, Ayana, et al.
Publicado: (2024)

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
por: Zhao, Jianhong, et al.
Publicado: (2025)

MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving
por: Li, Jinzheng, et al.
Publicado: (2026)

Spark-Prover-X1: Formal Theorem Proving Through Diverse Data Training
por: Zhou, Xinyuan, et al.
Publicado: (2025)

Evaluating Bias in LLMs for Job-Resume Matching: Gender, Race, and Education
por: Iso, Hayate, et al.
Publicado: (2025)