Imagen de Portada

Flattening subtyping by eta expansion

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Dunfield, Jana
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Simplifying explicit subtyping coercions in a polymorphic calculus with effects
por: Koprivec, Filip, et al.
Publicado: (2024)

Kleene Algebra
por: Kappé, Tobias, et al.
Publicado: (2025)

EffiPair: Improving the Efficiency of LLM-generated Code with Relative Contrastive Feedback
por: Hajizadeh, Samira, et al.
Publicado: (2026)

StacKAT: Infinite State Network Verification
por: Jacobs, Jules, et al.
Publicado: (2025)

Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design
por: DeLorenzo, Matthew, et al.
Publicado: (2025)

Vibe Coding, Interface Flattening
por: Jin, Hongrui
Publicado: (2025)

LR Parsing of Permutation Phrases
por: Kostičová, Jana
Publicado: (2024)

A Deductive System for Contract Satisfaction Proofs
por: Correnson, Arthur, et al.
Publicado: (2026)

NEST: Network Enforced Session Types (Technical Report)
por: Larsen, Jens Kanstrup, et al.
Publicado: (2026)

Llama-Mimi: Exploring the Limits of Flattened Speech Language Modeling
por: Sugiura, Issa, et al.
Publicado: (2025)

End-to-End Graph Flattening Method for Large Language Models
por: Hong, Bin, et al.
Publicado: (2024)

Argument Collapse: LLMs Flatten Long-Form Public Debate
por: Kim, Yekyung, et al.
Publicado: (2026)

Temporal Flattening in LLM-Generated Text: Comparing Human and LLM Writing Trajectories
por: Cao, Zhanwei, et al.
Publicado: (2026)

Exploiting Code Symmetries for Learning Program Semantics
por: Pei, Kexin, et al.
Publicado: (2023)

C Analyzer : A Static Program Analysis Tool for C Programs
por: Solanki, Rajendra Kumar
Publicado: (2024)

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

OpenCoder: The Open Cookbook for Top-Tier Code Large Language Models
por: Huang, Siming, et al.
Publicado: (2024)

LLM4Decompile: Decompiling Binary Code with Large Language Models
por: Tan, Hanzhuo, et al.
Publicado: (2024)

Learning Task Decomposition to Assist Humans in Competitive Programming
por: Wen, Jiaxin, et al.
Publicado: (2024)

Strong Priority and Determinacy in Timed CCS
por: Liquori, Luigi, et al.
Publicado: (2024)

SYMDIREC: A Neuro-Symbolic Divide-Retrieve-Conquer Framework for Enhanced RTL Synthesis and Summarization
por: Vijayaraghavan, Prashanth, et al.
Publicado: (2026)

VeriAgent: A Tool-Integrated Multi-Agent System with Evolving Memory for PPA-Aware RTL Code Generation
por: Wang, Yaoxiang, et al.
Publicado: (2026)

Hear Your Code Fail, Voice-Assisted Debugging for Python
por: Amiri, Sayed Mahbub Hasan, et al.
Publicado: (2025)

CktFormalizer: Autoformalization of Natural Language into Circuit Representations
por: Xiong, Jing, et al.
Publicado: (2026)

From Algebraic Word Problem to Program: A Formalized Approach
por: Wiemerslage, Adam, et al.
Publicado: (2020)

Text2Mem: A Unified Memory Operation Language for Memory Operating System
por: Wang, Yi, et al.
Publicado: (2025)

SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation
por: Nezhad, Sina Bagheri, et al.
Publicado: (2025)

On Code-Induced Reasoning in LLMs
por: Waheed, Abdul, et al.
Publicado: (2025)

Analyzing LLM Instruction Optimization for Tabular Fact Verification
por: Du, Xiaotang, et al.
Publicado: (2026)

Constrained Code Generation with Discrete Diffusion
por: Shao, Lize, et al.
Publicado: (2026)

SkyEgg: Joint Implementation Selection and Scheduling for Hardware Synthesis using E-graphs
por: Xiao, Youwei, et al.
Publicado: (2025)

Probabilistic energy profiler for statically typed JVM-based programming languages
por: Nyholm, Joel, et al.
Publicado: (2025)

Towards Reliable Benchmarking: A Contamination Free, Controllable Evaluation Framework for Multi-step LLM Function Calling
por: Maekawa, Seiji, et al.
Publicado: (2025)

\texttt{ReMind}: Understanding Deductive Code Reasoning in LLMs
por: Gao, Jun, et al.
Publicado: (2025)

Efficient Algorithms for Partial Constraint Satisfaction Problems over Control-flow Graphs
por: Cai, Xuran, et al.
Publicado: (2026)

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

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

VerityMath: Advancing Mathematical Reasoning by Self-Verification Through Unit Consistency
por: Han, Vernon Toh Yan, et al.
Publicado: (2023)

Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
por: Lin, Honglin, et al.
Publicado: (2025)

Text2Model: Generating dynamic chemical reactor models using large language models (LLMs)
por: Rupprecht, Sophia, et al.
Publicado: (2025)