Cover Image

BRIDGE: Building Representations In Domain Guided Program Synthesis

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	George, Robert Joseph, Eisenach, Carson, Ghai, Udaya, Perrault-Joncas, Dominique, Anandkumar, Anima, Foster, Dean
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Programming Languages 68N30, 68Q55, 68T07 F.3.1; D.2.4; I.2.3
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Generating Natural-Language Surgical Feedback: From Structured Representation to Domain-Grounded Evaluation
by: Nasriddinov, Firdavs, et al.
Published: (2025)

Thinking Machines: Mathematical Reasoning in the Age of LLMs
by: Asperti, Andrea, et al.
Published: (2025)

Graph2Tac: Online Representation Learning of Formal Math Concepts
by: Blaauwbroek, Lasse, et al.
Published: (2024)

AI Agents-as-Judge: Automated Assessment of Accuracy, Consistency, Completeness and Clarity for Enterprise Documents
by: Dasgupta, Sudip, et al.
Published: (2025)

Intersymbolic AI: Interlinking Symbolic AI and Subsymbolic AI
by: Platzer, André
Published: (2024)

Topological Invariant-Based Iris Identification via Digital Homology and Machine Learning
by: Öztel, Ahmet, et al.
Published: (2025)

LemmaBench: A Live, Research-Level Benchmark to Evaluate LLM Capabilities in Mathematics
by: Peyronnet, Antoine, et al.
Published: (2026)

A logic for reasoning with inconsistent knowledge -- A reformulation using nowadays terminology (2024)
by: Roos, Nico
Published: (2024)

Structural Graph Neural Networks with Anatomical Priors for Explainable Chest X-ray Diagnosis
by: Berkani, Khaled
Published: (2026)

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
by: Oza, Neeva, et al.
Published: (2025)

PLUME: Building a Network-Native Foundation Model for Wireless Traces via Protocol-Aware Tokenization
by: Pradhan, Swadhin, et al.
Published: (2026)

Mitigating LLM Hallucinations through Domain-Grounded Tiered Retrieval
by: Haque, Md. Asraful, et al.
Published: (2026)

Emulation-Completeness of Programming Languages
by: Morse, Gregory, et al.
Published: (2026)

NL-COMM: Enhanced Video Streaming via Advanced Non-Linear Processing
by: Filo, Marcin, et al.
Published: (2025)

An innovative data collection method to eliminate the preprocessing phase in web usage mining
by: Canay, Ozkan, et al.
Published: (2025)

How Long short-term memory artificial neural network, synthetic data, and fine-tuning improve the classification of raw EEG data
by: Nasybullin, Albert, et al.
Published: (2026)

React-ing to Grace Hopper 200: Five Open-Weights Coding Models, One React Native App, One GH200, One Weekend
by: Potanin, Alex
Published: (2026)

Learning Continuous Receive Apodization Weights via Implicit Neural Representation for Ultrafast ICE Ultrasound Imaging
by: Delaunay, Rémi, et al.
Published: (2025)

Fuzzy Logic Guided Reward Function Variation: An Oracle for Testing Reinforcement Learning Programs
by: Zhang, Shiyu, et al.
Published: (2024)

Solving Zebra Puzzles Using Constraint-Guided Multi-Agent Systems
by: Berman, Shmuel, et al.
Published: (2024)

Realizing Scaling Laws in Recommender Systems: A Foundation-Expert Paradigm for Hyperscale Model Deployment
by: Li, Dai, et al.
Published: (2025)

Surpassing state of the art on AMD area estimation from RGB fundus images through careful selection of U-Net architectures and loss functions for class imbalance
by: Starodub, Valentyna, et al.
Published: (2025)

PolyTruth: Multilingual Disinformation Detection using Transformer-Based Language Models
by: Gouliev, Zaur, et al.
Published: (2025)

Beyond Long Context: When Semantics Matter More than Tokens
by: Chawdhury, Tarun Kumar, et al.
Published: (2025)

TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models
by: Akgün, Özgür, et al.
Published: (2022)

Multi-Agent Object Detection Framework Based on Raspberry Pi YOLO Detector and Slack-Ollama Natural Language Interface
by: Kalušev, Vladimir, et al.
Published: (2026)

Generalizable IoT Traffic Representations for Cross-Network Device Identification
by: Sivanathan, Arunan, et al.
Published: (2026)

Understanding the Nature of Generative AI as Threshold Logic in High-Dimensional Space
by: Levin, Ilya
Published: (2026)

Deriving Decoder-Free Sparse Autoencoders from First Principles
by: Oursland, Alan
Published: (2026)

LTL Verification of Memoryful Neural Agents
by: Hosseini, Mehran, et al.
Published: (2025)

A Knowledge Graph based Approach for Mobile Application Recommendation
by: Zhang, Mingwei, et al.
Published: (2020)

SQuARE: Structured Query & Adaptive Retrieval Engine For Tabular Formats
by: Gondhalekar, Chinmay, et al.
Published: (2025)

Kodezi Chronos: A Debugging-First Language Model for Repository-Scale Code Understanding
by: Khan, Ishraq, et al.
Published: (2025)

OR-VSKC: Resolving Visual-Semantic Knowledge Conflicts in Operating Rooms with Synthetic Data-Guided Alignment
by: Zhao, Weiyi, et al.
Published: (2025)

Multi-Modal Self-Supervised Learning for Surgical Feedback Effectiveness Assessment
by: Gupta, Arushi, et al.
Published: (2024)

Closing the Performance Gap in Generative Recommenders with Collaborative Tokenization and Efficient Modeling
by: Lepage, Simon, et al.
Published: (2025)

A Generalization Bound for a Family of Implicit Networks
by: Fung, Samy Wu, et al.
Published: (2024)

From Unstructured Recall to Schema-Grounded Memory: Reliable AI Memory via Iterative, Schema-Aware Extraction
by: Petrov, Alex, et al.
Published: (2026)

Multi-AD: Cross-Domain Unsupervised Anomaly Detection for Medical and Industrial Applications
by: Rahmaniar, Wahyu, et al.
Published: (2026)

Probabilistic Variational Causal Approach in Observational Studies
by: Faghihi, Usef, et al.
Published: (2022)