Image de couverture de livre

Representing Molecules with Algebraic Data Types: Beyond SMILES and SELFIES

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Goldstein, Oliver, March, Samuel
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages Machine Learning
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Type-Constrained Code Generation with Language Models
par: Mündler, Niels, et autres
Publié: (2025)

Learning Structure-Aware Representations of Dependent Types
par: Kogkalidis, Konstantinos, et autres
Publié: (2024)

Automated Type Annotation in Python Using Large Language Models
par: Bharti, Varun, et autres
Publié: (2025)

Understanding How CodeLLMs (Mis)Predict Types with Activation Steering
par: Lucchetti, Francesca, et autres
Publié: (2024)

Beyond Bayesian Model Averaging over Paths in Probabilistic Programs with Stochastic Support
par: Reichelt, Tim, et autres
Publié: (2023)

When SMILES have Language: Drug Classification using Text Classification Methods on Drug SMILES Strings
par: Wasi, Azmine Toushik, et autres
Publié: (2024)

The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages
par: Chen, Boqi, et autres
Publié: (2024)

Representing Prompting Patterns with PDL: Compliance Agent Case Study
par: Vaziri, Mandana, et autres
Publié: (2025)

Data-driven Verification of Procedural Programs with Integer Arrays
par: Bouajjani, Ahmed, et autres
Publié: (2025)

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

Beyond Either-Or Reasoning: Transduction and Induction as Cooperative Problem-Solving Paradigms
par: Zenkner, Janis, et autres
Publié: (2025)

CuTS: Customizable Tabular Synthetic Data Generation
par: Vero, Mark, et autres
Publié: (2023)

LOOPerSet: A Large-Scale Dataset for Data-Driven Polyhedral Compiler Optimization
par: Merouani, Massinissa, et autres
Publié: (2025)

Lean-ing on Quality: How High-Quality Data Beats Diverse Multilingual Data in AutoFormalization
par: Chan, Willy, et autres
Publié: (2025)

Looking Beyond The Top-1: Transformers Determine Top Tokens In Order
par: Lioubashevski, Daria, et autres
Publié: (2024)

Quantifying the Importance of Data Alignment in Downstream Model Performance
par: Chawla, Krrish, et autres
Publié: (2025)

Operon: Incremental Construction of Ragged Data via Named Dimensions
par: Moon, Sungbin, et autres
Publié: (2025)

Grounding Data Science Code Generation with Input-Output Specifications
par: Wen, Yeming, et autres
Publié: (2024)

Morello: Compiling Fast Neural Networks with Dynamic Programming and Spatial Compression
par: Kaufman, Samuel J., et autres
Publié: (2025)

Remarks on Algebraic Reconstruction of Types and Effects
par: Balik, Patrycja, et autres
Publié: (2026)

GPU-Accelerated Synthesis of Mixed-Boolean Arithmetic: Beyond Caching
par: Bathie, Gabriel, et autres
Publié: (2026)

A Deep Learning Model for Predicting Transformation Legality
par: Tiwari, Avani, et autres
Publié: (2025)

Rulebook: bringing co-routines to reinforcement learning environments
par: Fioravanti, Massimo, et autres
Publié: (2025)

A Formally Verified Robustness Certifier for Neural Networks (Extended Version)
par: Tobler, James, et autres
Publié: (2025)

Small Language Models as Compiler Experts: Auto-Parallelization for Heterogeneous Systems
par: Devadiga, Prathamesh
Publié: (2025)

Agnostics: Learning to Code in Any Programming Language via Reinforcement with a Universal Learning Environment
par: Boruch-Gruszecki, Aleksander, et autres
Publié: (2025)

Yggdrasil: Bridging Dynamic Speculation and Static Runtime for Latency-Optimal Tree-Based LLM Decoding
par: Guan, Yue, et autres
Publié: (2025)

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

Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification
par: Fukuda, Kota, et autres
Publié: (2025)

Compiling to recurrent neurons
par: Velez-Ginorio, Joey, et autres
Publié: (2025)

DeepCircuitX: A Comprehensive Repository-Level Dataset for RTL Code Understanding, Generation, and PPA Analysis
par: Li, Zeju, et autres
Publié: (2025)

Guarding the Privacy of Label-Only Access to Neural Network Classifiers via iDP Verification
par: Kabaha, Anan, et autres
Publié: (2025)

RefineStat: Efficient Exploration for Probabilistic Program Synthesis
par: Kanda, Madhav, et autres
Publié: (2025)

Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks
par: Zulkifli, Kahfi S., et autres
Publié: (2025)

Filter Equivariant Functions: A symmetric account of length-general extrapolation on lists
par: Lewis, Owen, et autres
Publié: (2025)

Compiling to linear neurons
par: Velez-Ginorio, Joey, et autres
Publié: (2025)

Technical Report: Full-Stack Fine-Tuning for the Q Programming Language
par: Hogan, Brendan R., et autres
Publié: (2025)

CRANE: Reasoning with constrained LLM generation
par: Banerjee, Debangshu, et autres
Publié: (2025)

Cost-Driven Synthesis of Sound Abstract Interpreters
par: Gu, Qiuhan, et autres
Publié: (2025)

Neptune: Advanced ML Operator Fusion for Locality and Parallelism on GPUs
par: Zhao, Yifan, et autres
Publié: (2025)