Buchumschlag

From Algebraic Word Problem to Program: A Formalized Approach

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Wiemerslage, Adam, Ahmed, Shafiuddin Rehan
Format:	Preprint
Veröffentlicht:	2020
Schlagworte:	Computation and Language Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

DDL2PropBank Agent: Benchmarking Multi-Agent Frameworks' Developer Experience Through a Novel Relational Schema Mapping Task
von: Ahmed, Shafiuddin Rehan, et al.
Veröffentlicht: (2026)

Within-Document Event Coreference with BERT-Based Contextualized Representations
von: Ahmed, Shafiuddin Rehan, et al.
Veröffentlicht: (2021)

X-AMR Annotation Tool
von: Ahmed, Shafiuddin Rehan, et al.
Veröffentlicht: (2024)

Improving Low-Resource Morphological Inflection via Self-Supervised Objectives
von: Wiemerslage, Adam, et al.
Veröffentlicht: (2025)

Generating Harder Cross-document Event Coreference Resolution Datasets using Metaphoric Paraphrasing
von: Ahmed, Shafiuddin Rehan, et al.
Veröffentlicht: (2024)

From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
von: Cao, Jialun, et al.
Veröffentlicht: (2025)

GATlab: Modeling and Programming with Generalized Algebraic Theories
von: Lynch, Owen, et al.
Veröffentlicht: (2024)

Model-Based Ranking of Source Languages for Zero-Shot Cross-Lingual Transfer
von: Ebrahimi, Abteen, et al.
Veröffentlicht: (2025)

CktFormalizer: Autoformalization of Natural Language into Circuit Representations
von: Xiong, Jing, et al.
Veröffentlicht: (2026)

LLMs versus the Halting Problem: Characterizing Program Termination Reasoning
von: Sultan, Oren, et al.
Veröffentlicht: (2026)

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
von: Zhao, Jianhong, et al.
Veröffentlicht: (2025)

C Analyzer : A Static Program Analysis Tool for C Programs
von: Solanki, Rajendra Kumar
Veröffentlicht: (2024)

Multimodal Cross-Document Event Coreference Resolution Using Linear Semantic Transfer and Mixed-Modality Ensembles
von: Nath, Abhijnan, et al.
Veröffentlicht: (2024)

Cost-Efficient Estimation of General Abilities Across Benchmarks
von: Krumdick, Michael, et al.
Veröffentlicht: (2026)

Practical Formal Verification for MLIR Programs
von: Tucker, Emily, et al.
Veröffentlicht: (2026)

CAMRA: Copilot for AMR Annotation
von: Cai, Jon Z., et al.
Veröffentlicht: (2023)

AutoCode: LLMs as Problem Setters for Competitive Programming
von: Zhou, Shang, et al.
Veröffentlicht: (2025)

Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach (Extended Version)
von: Grandury, Marcos, et al.
Veröffentlicht: (2025)

Random Variate Generation with Formal Guarantees
von: Saad, Feras A., et al.
Veröffentlicht: (2025)

An Algebraic Approach to Weighted Answer-set Programming
von: Coelho, Francisco, et al.
Veröffentlicht: (2025)

Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny
von: Ukhanov, Evgeny
Veröffentlicht: (2025)

Learning Task Decomposition to Assist Humans in Competitive Programming
von: Wen, Jiaxin, et al.
Veröffentlicht: (2024)

Toward Verified Library-Level Choreographic Programming with Algebraic Effects
von: Shen, Gan, et al.
Veröffentlicht: (2024)

From Traces to Program Incorrectness: A Type-Theoretic Approach
von: Yuan, Yongwei, et al.
Veröffentlicht: (2025)

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach
von: Dong, Shouyang, et al.
Veröffentlicht: (2025)

Efficient Algorithms for Partial Constraint Satisfaction Problems over Control-flow Graphs
von: Cai, Xuran, et al.
Veröffentlicht: (2026)

PPM: Automated Generation of Diverse Programming Problems for Benchmarking Code Generation Models
von: Chen, Simin, et al.
Veröffentlicht: (2024)

FormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?
von: Ravi, Nikil, et al.
Veröffentlicht: (2026)

SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation
von: Nezhad, Sina Bagheri, et al.
Veröffentlicht: (2025)

Enhancing Retrieval for ESGLLM via ESG-CID -- A Disclosure Content Index Finetuning Dataset for Mapping GRI and ESRS
von: Ahmed, Shafiuddin Rehan, et al.
Veröffentlicht: (2025)

Linear Cross-document Event Coreference Resolution with X-AMR
von: Ahmed, Shafiuddin Rehan, et al.
Veröffentlicht: (2024)

An Incremental Algorithm for Algebraic Program Analysis
von: Zhou, Chenyu, et al.
Veröffentlicht: (2024)

Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types
von: Dane, Serra Z., et al.
Veröffentlicht: (2026)

Minuska: Towards a Formally Verified Programming Language Framework
von: Tušil, Jan, et al.
Veröffentlicht: (2024)

L0-Reasoning Bench: Evaluating Procedural Correctness in Language Models via Simple Program Execution
von: Sun, Simeng, et al.
Veröffentlicht: (2025)

From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry
von: Bayarmagnai, Erdenebayar, et al.
Veröffentlicht: (2025)

The Master-Slave Encoder Model for Improving Patent Text Summarization: A New Approach to Combining Specifications and Claims
von: Zhou, Shu, et al.
Veröffentlicht: (2024)

Probabilistic Programs of Thought
von: Garg, Poorva, et al.
Veröffentlicht: (2026)

Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings
von: Bagrel, Thomas
Veröffentlicht: (2026)

The Effect of Scripts and Formats on LLM Numeracy
von: Reddy, Varshini, et al.
Veröffentlicht: (2026)