Imagen de Portada

Forklift: An Extensible Neural Lifter

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Armengol-Estapé, Jordi, Rocha, Rodrigo C. O., Woodruff, Jackson, Minervini, Pasquale, O'Boyle, Michael F. P.
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages Artificial Intelligence Machine Learning
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

SLaDe: A Portable Small Language Model Decompiler for Optimized Assembly
por: Armengol-Estapé, Jordi, et al.
Publicado: (2023)

What I cannot execute, I do not understand: Training and Evaluating LLMs on Program Execution Traces
por: Armengol-Estapé, Jordi, et al.
Publicado: (2025)

LLMs versus the Halting Problem: Characterizing Program Termination Reasoning
por: Sultan, Oren, et al.
Publicado: (2026)

Probing the Emergence of Cross-lingual Alignment during LLM Training
por: Wang, Hetong, et al.
Publicado: (2024)

SynDARin: Synthesising Datasets for Automated Reasoning in Low-Resource Languages
por: Ghazaryan, Gayane, et al.
Publicado: (2024)

Searching for Programmatic Policies in Semantic Spaces
por: Moraes, Rubens O., et al.
Publicado: (2024)

Mixtures of In-Context Learners
por: Hong, Giwon, et al.
Publicado: (2024)

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
por: Rocha, Filipe Marinho, et al.
Publicado: (2024)

Generating Pragmatic Examples to Train Neural Program Synthesizers
por: Vaduguru, Saujas, et al.
Publicado: (2023)

SoD$^2$: Statically Optimizing Dynamic Deep Neural Network
por: Niu, Wei, et al.
Publicado: (2024)

FLARE: Faithful Logic-Aided Reasoning and Exploration
por: Arakelyan, Erik, et al.
Publicado: (2024)

From Tool Calling to Symbolic Thinking: LLMs in a Persistent Lisp Metaprogramming Loop
por: de la Torre, Jordi
Publicado: (2025)

Evaluating Large Language Models with Grid-Based Game Competitions: An Extensible LLM Benchmark and Leaderboard
por: Topsakal, Oguzhan, et al.
Publicado: (2024)

Can LLMs Correct Physicians, Yet? Investigating Effective Interaction Methods in the Medical Domain
por: Sayin, Burcu, et al.
Publicado: (2024)

A Simple and Effective $L_2$ Norm-Based Strategy for KV Cache Compression
por: Devoto, Alessio, et al.
Publicado: (2024)

Reasoning-SQL: Reinforcement Learning with SQL Tailored Partial Rewards for Reasoning-Enhanced Text-to-SQL
por: Pourreza, Mohammadreza, et al.
Publicado: (2025)

An LLM-Tool Compiler for Fused Parallel Function Calling
por: Singh, Simranjit, et al.
Publicado: (2024)

Neural Task Synthesis for Visual Programming
por: Pădurean, Victor-Alexandru, et al.
Publicado: (2023)

Low-Rank Compression of Language Models via Differentiable Rank Selection
por: Sundrani, Sidhant, et al.
Publicado: (2025)

Lean-ing on Quality: How High-Quality Data Beats Diverse Multilingual Data in AutoFormalization
por: Chan, Willy, et al.
Publicado: (2025)

PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
por: Tsoukalas, George, et al.
Publicado: (2024)

SPARSEFIT: Few-shot Prompting with Sparse Fine-tuning for Jointly Generating Predictions and Natural Language Explanations
por: Solano, Jesus, et al.
Publicado: (2023)

FairBelief -- Assessing Harmful Beliefs in Language Models
por: Setzu, Mattia, et al.
Publicado: (2024)

Evaluating and Safeguarding the Adversarial Robustness of Retrieval-Based In-Context Learning
por: Yu, Simon, et al.
Publicado: (2024)

Code Simulation Challenges for Large Language Models
por: La Malfa, Emanuele, et al.
Publicado: (2024)

Probabilistic Programming with Programmable Variational Inference
por: Becker, McCoy R., et al.
Publicado: (2024)

CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis
por: Wei, Anjiang, et al.
Publicado: (2025)

PosterSum: A Multimodal Benchmark for Scientific Poster Summarization
por: Saxena, Rohit, et al.
Publicado: (2025)

Relax: Composable Abstractions for End-to-End Dynamic Machine Learning
por: Lai, Ruihang, et al.
Publicado: (2023)

ProofOptimizer: Training Language Models to Simplify Proofs without Human Demonstrations
por: Gu, Alex, et al.
Publicado: (2025)

REASONING COMPILER: LLM-Guided Optimizations for Efficient Model Serving
por: Tang, Annabelle Sujun, et al.
Publicado: (2025)

ANCORA: Learning to Question via Manifold-Anchored Self-Play for Verifiable Reasoning
por: Yang, Chengcao
Publicado: (2026)

The Elements of Differentiable Programming
por: Blondel, Mathieu, et al.
Publicado: (2024)

EnCompass: Enhancing Agent Programming with Search Over Program Execution Paths
por: Li, Zhening, et al.
Publicado: (2025)

AutoPDL: Automatic Prompt Optimization for LLM Agents
por: Spiess, Claudio, et al.
Publicado: (2025)

DVM: A Bytecode Virtual Machine Approach for Dynamic Tensor Computation
por: Fang, Jingzhi, et al.
Publicado: (2026)

PassNet: Scaling Large Language Models for Graph Compiler Pass Generation
por: Liu, Yiqun, et al.
Publicado: (2026)

Hexcute: A Compiler Framework for Automating Layout Synthesis in GPU Programs
por: Zhang, Xiao, et al.
Publicado: (2025)

From Reasoning to Code: GRPO Optimization for Underrepresented Languages
por: Pennino, Federico, et al.
Publicado: (2025)

Curriculum Learning for Small Code Language Models
por: Naïr, Marwa, et al.
Publicado: (2024)