Copertina

Learning Structure-Aware Representations of Dependent Types

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Kogkalidis, Konstantinos, Melkonian, Orestis, Bernardy, Jean-Philippe
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Machine Learning Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Algebraic Positional Encodings
di: Kogkalidis, Konstantinos, et al.
Pubblicazione: (2023)

Domain-Specific Tensor Languages
di: Bernardy, Jean-Philippe, et al.
Pubblicazione: (2023)

Nominal techniques as an Agda library
di: Gabbay, Murdoch J., et al.
Pubblicazione: (2026)

Dynamic IFC Theorems for Free!
di: Algehed, Maximilian, et al.
Pubblicazione: (2020)

Type-Constrained Code Generation with Language Models
di: Mündler, Niels, et al.
Pubblicazione: (2025)

Representing Molecules with Algebraic Data Types: Beyond SMILES and SELFIES
di: Goldstein, Oliver, et al.
Pubblicazione: (2025)

Automated Type Annotation in Python Using Large Language Models
di: Bharti, Varun, et al.
Pubblicazione: (2025)

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

Linear Constraints
di: Spiwack, Arnaud, et al.
Pubblicazione: (2026)

The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages
di: Chen, Boqi, et al.
Pubblicazione: (2024)

MerLin: A Discovery Engine for Photonic and Hybrid Quantum Machine Learning
di: Notton, Cassandre, et al.
Pubblicazione: (2026)

On Tables with Numbers, with Numbers
di: Kogkalidis, Konstantinos, et al.
Pubblicazione: (2024)

Nominal Class Assignment in Swahili: A Computational Account
di: Palmieri, Giada, et al.
Pubblicazione: (2024)

QiMeng-SALV: Signal-Aware Learning for Verilog Code Generation
di: Zhang, Yang, et al.
Pubblicazione: (2025)

An Aspect Extraction Framework using Different Embedding Types, Learning Models, and Dependency Structure
di: Erkan, Ali, et al.
Pubblicazione: (2025)

Learning Minimal Neural Specifications
di: Geng, Chuqin, et al.
Pubblicazione: (2024)

Agnostics: Learning to Code in Any Programming Language via Reinforcement with a Universal Learning Environment
di: Boruch-Gruszecki, Aleksander, et al.
Pubblicazione: (2025)

A Comprehensive Guide to Combining R and Python code for Data Science, Machine Learning and Reinforcement Learning
di: Navarro, Alejandro L. García, et al.
Pubblicazione: (2024)

A Deep Learning Model for Predicting Transformation Legality
di: Tiwari, Avani, et al.
Pubblicazione: (2025)

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

Offline Imitation Learning from Multiple Baselines with Applications to Compiler Optimization
di: Marinov, Teodor V., et al.
Pubblicazione: (2024)

Integrating Large Language Models and Reinforcement Learning for Non-Linear Reasoning
di: Alon, Yoav, et al.
Pubblicazione: (2024)

Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks
di: Zulkifli, Kahfi S., et al.
Pubblicazione: (2025)

CompilerDream: Learning a Compiler World Model for General Code Optimization
di: Deng, Chaoyi, et al.
Pubblicazione: (2024)

Enhancing the Code Reasoning Capabilities of LLMs via Consistency-based Reinforcement Learning
di: Qin, Zhanyue, et al.
Pubblicazione: (2026)

Deep Learning and Machine Learning -- Python Data Structures and Mathematics Fundamental: From Theory to Practice
di: Chen, Silin, et al.
Pubblicazione: (2024)

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

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

Compressing Structured Tensor Algebra
di: Ghorbani, Mahdi, et al.
Pubblicazione: (2024)

IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking
di: Ugare, Shubham, et al.
Pubblicazione: (2024)

GLProtein: Global-and-Local Structure Aware Protein Representation Learning
di: Liu, Yunqing, et al.
Pubblicazione: (2025)

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

Graph-Reward-SQL: Execution-Free Reinforcement Learning for Text-to-SQL via Graph Matching and Stepwise Reward
di: Weng, Han, et al.
Pubblicazione: (2025)

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

Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages
di: Mora, Federico, et al.
Pubblicazione: (2024)

Verified Lifting of Deep learning Operators
di: Zhan, Qi, et al.
Pubblicazione: (2024)

Uncertainty Quantification for Neurosymbolic Programs via Compositional Conformal Prediction
di: Ramalingam, Ramya, et al.
Pubblicazione: (2024)

SPLAT: A framework for optimised GPU code-generation for SParse reguLar ATtention
di: Gupta, Ahan, et al.
Pubblicazione: (2024)

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

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