Imagen de Portada

Automatic Functional Differentiation in JAX

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Lin, Min
Formato:	Preprint
Publicado:	2023
Materias:	Programming Languages Computation and Language Machine Learning
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Automatic Generation of Python Programs Using Context-Free Grammars
por: Yamani, Kamel, et al.
Publicado: (2024)

MiniF2F in Rocq: Automatic Translation Between Proof Assistants -- A Case Study
por: Viennot, Jules, et al.
Publicado: (2025)

Self-Infilling Code Generation
por: Zheng, Lin, et al.
Publicado: (2023)

DaCe AD: Unifying High-Performance Automatic Differentiation for Machine Learning and Scientific Computing
por: Boudaoud, Afif, et al.
Publicado: (2025)

Automatically Testing Functional Properties of Code Translation Models
por: Eniser, Hasan Ferit, et al.
Publicado: (2023)

AutoPyVerifier: Learning Compact Executable Verifiers for Large Language Model Outputs
por: Pezeshkpour, Pouya, et al.
Publicado: (2026)

More Than a Score: Probing the Impact of Prompt Specificity on LLM Code Generation
por: Zi, Yangtian, et al.
Publicado: (2025)

Understanding How CodeLLMs (Mis)Predict Types with Activation Steering
por: Lucchetti, Francesca, et al.
Publicado: (2024)

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

vLLM Hook v0: A Plug-in for Programming Model Internals on vLLM
por: Ko, Ching-Yun, et al.
Publicado: (2026)

Is Next Token Prediction Sufficient for GPT? Exploration on Code Logic Comprehension
por: Qi, Mengnan, et al.
Publicado: (2024)

Combining Neural Architecture Search and Automatic Code Optimization: A Survey
por: Bachiri, Inas, et al.
Publicado: (2024)

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

LOOPer: A Learned Automatic Code Optimizer For Polyhedral Compilers
por: Merouani, Massinissa, et al.
Publicado: (2024)

Automatic Differential Diagnosis using Transformer-Based Multi-Label Sequence Classification
por: Sadi, Abu Adnan, et al.
Publicado: (2024)

Higher Order Automatic Differentiation of Higher Order Functions
por: Huot, Mathieu, et al.
Publicado: (2021)

LILO: Learning Interpretable Libraries by Compressing and Documenting Code
por: Grand, Gabriel, et al.
Publicado: (2023)

Emergent Representations of Program Semantics in Language Models Trained on Programs
por: Jin, Charles, et al.
Publicado: (2023)

Top Leaderboard Ranking = Top Coding Proficiency, Always? EvoEval: Evolving Coding Benchmarks via LLM
por: Xia, Chunqiu Steven, et al.
Publicado: (2024)

SwiftEval: Developing a Language-Specific Benchmark for LLM-generated Code Evaluation
por: Petrukha, Ivan, et al.
Publicado: (2025)

FormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?
por: Ravi, Nikil, et al.
Publicado: (2026)

Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis
por: Wei, Anjiang, et al.
Publicado: (2025)

APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts
por: Dong, Honghua, et al.
Publicado: (2024)

NExT: Teaching Large Language Models to Reason about Code Execution
por: Ni, Ansong, et al.
Publicado: (2024)

Bridging the Knowledge Void: Inference-time Acquisition of Unfamiliar Programming Languages for Coding Tasks
por: Shen, Chen, et al.
Publicado: (2026)

SPML: A DSL for Defending Language Models Against Prompt Attacks
por: Sharma, Reshabh K, et al.
Publicado: (2024)

A Multi-Perspective Architecture for Semantic Code Search
por: Haldar, Rajarshi, et al.
Publicado: (2020)

CodeCloak: A Method for Evaluating and Mitigating Code Leakage by LLM Code Assistants
por: Noah, Amit Finkman, et al.
Publicado: (2024)

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

VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean
por: Xin, Yutong, et al.
Publicado: (2026)

Quantifying the Importance of Data Alignment in Downstream Model Performance
por: Chawla, Krrish, et al.
Publicado: (2025)

Neural Models for Source Code Synthesis and Completion
por: Niyogi, Mitodru
Publicado: (2024)

AIOS Compiler: LLM as Interpreter for Natural Language Programming and Flow Programming of AI Agents
por: Xu, Shuyuan, et al.
Publicado: (2024)

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

Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification
por: Barone, Antonio Valerio Miceli, et al.
Publicado: (2026)

An Evaluation Benchmark for Autoformalization in Lean4
por: Gulati, Aryan, et al.
Publicado: (2024)

TextGrad: Automatic "Differentiation" via Text
por: Yuksekgonul, Mert, et al.
Publicado: (2024)

Recursive Function Definitions in Static Dataflow Graphs and their Implementation in TensorFlow
por: Kostopoulou, Kelly, et al.
Publicado: (2024)

Filter Equivariant Functions: A symmetric account of length-general extrapolation on lists
por: Lewis, Owen, et al.
Publicado: (2025)

NaN-Propagation: A Novel Method for Sparsity Detection in Black-Box Computational Functions
por: Sharpe, Peter
Publicado: (2025)