:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Valkov, Lazar, Srivastava, Akash, Chaudhuri, Swarat, Sutton, Charles
Format:	Preprint
Published:	2023
Subjects:	Machine Learning
Online Access:	https://arxiv.org/abs/2306.06545
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Automata Learning from Preference and Equivalence Queries
by: Hsiung, Eric, et al.
Published: (2023)

Synthesize, Partition, then Adapt: Eliciting Diverse Samples from Foundation Models
by: Wen, Yeming, et al.
Published: (2024)

Batched Low-Rank Adaptation of Foundation Models
by: Wen, Yeming, et al.
Published: (2023)

Learning Quantitative Automata Modulo Theories
by: Hsiung, Eric, et al.
Published: (2024)

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving
by: Thakur, Amitayush, et al.
Published: (2025)

Adaptive Memory Replay for Continual Learning
by: Smith, James Seale, et al.
Published: (2024)

Online Cascade Learning for Efficient Inference over Streams
by: Nie, Lunyiu, et al.
Published: (2024)

Prompt Tuning Strikes Back: Customizing Foundation Models with Low-Rank Prompt Adaptation
by: Jain, Abhinav, et al.
Published: (2024)

Neurosymbolic Grounding for Compositional World Models
by: Sehgal, Atharva, et al.
Published: (2023)

An In-Context Learning Agent for Formal Theorem-Proving
by: Thakur, Amitayush, et al.
Published: (2023)

Canopy: Property-Driven Learning for Congestion Control
by: Yang, Chenxi, et al.
Published: (2024)

Symbolic Regression with a Learned Concept Library
by: Grayeli, Arya, et al.
Published: (2024)

Resource-efficient Inference with Foundation Model Programs
by: Nie, Lunyiu, et al.
Published: (2025)

Lean Finder: Semantic Search for Mathlib That Understands User Intents
by: Lu, Jialin, et al.
Published: (2025)

When Parallelism Pays Off: Cohesion-Aware Task Partitioning for Multi-Agent Coding
by: Yang, Xu, et al.
Published: (2026)

Grounding Data Science Code Generation with Input-Output Specifications
by: Wen, Yeming, et al.
Published: (2024)

Man-Made Heuristics Are Dead. Long Live Code Generators!
by: Dwivedula, Rohit, et al.
Published: (2025)

Rollout Roulette: A Probabilistic Inference Approach to Inference-Time Scaling of LLMs using Particle-Based Monte Carlo Methods
by: Puri, Isha, et al.
Published: (2025)

Self-Evolving Visual Concept Library using Vision-Language Critics
by: Sehgal, Atharva, et al.
Published: (2025)

Formal Mathematical Reasoning: A New Frontier in AI
by: Yang, Kaiyu, et al.
Published: (2024)

Towards High-Fidelity Gaussian Splatting with Queried-Convolution Neural Networks
by: Kumar, Abhinav, et al.
Published: (2025)

A Physics-Guided Probabilistic Surrogate Modeling Framework for Digital Twins of Underwater Radiated Noise
by: Deo, Indu Kant, et al.
Published: (2025)

CCAR: Intrinsic Robustness as an Emergent Geometric Property
by: Samanta, Akash, et al.
Published: (2026)

XMTC: Explainable Early Classification of Multivariate Time Series in Reach-to-Grasp Hand Kinematics
by: Gol, Reyhaneh Sabbagh, et al.
Published: (2025)

LTL-Constrained Policy Optimization with Cycle Experience Replay
by: Shah, Ameesh, et al.
Published: (2024)

A Deep Probabilistic Framework for Continuous Time Dynamic Graph Generation
by: Hosseini, Ryien, et al.
Published: (2024)

Learning to Deliver: a Foundation Model for the Montreal Capacitated Vehicle Routing Problem
by: Chin, Samuel J. K., et al.
Published: (2024)

Beyond Statistical Similarity: Rethinking Metrics for Deep Generative Models in Engineering Design
by: Regenwetter, Lyle, et al.
Published: (2023)

SNLP: Layer-Parallel Inference via Structured Newton Corrections
by: Han, Ligong, et al.
Published: (2026)

Modular Federated Learning: A Meta-Framework Perspective
by: Vicente, Frederico, et al.
Published: (2025)

Probabilistic Gaussian Homotopy: A Probability-Space Continuation Framework for Nonconvex Optimization
by: Gal, Eshed, et al.
Published: (2026)

LInK: Learning Joint Representations of Design and Performance Spaces through Contrastive Learning for Mechanism Synthesis
by: Nobari, Amin Heyrani, et al.
Published: (2024)

Modular Memory is the Key to Continual Learning Agents
by: Dorovatas, Vaggelis, et al.
Published: (2026)

PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
by: Tsoukalas, George, et al.
Published: (2024)

Distribution Learning with Valid Outputs Beyond the Worst-Case
by: Rittler, Nick, et al.
Published: (2024)

A Theoretical Framework for Modular Learning of Robust Generative Models
by: Cortes, Corinna, et al.
Published: (2026)

Revised Regularization for Efficient Continual Learning through Correlation-Based Parameter Update in Bayesian Neural Networks
by: Palit, Sanchar, et al.
Published: (2024)

CLEVER: A Curated Benchmark for Formally Verified Code Generation
by: Thakur, Amitayush, et al.
Published: (2025)

Maintaining Plasticity in Deep Continual Learning
by: Dohare, Shibhansh, et al.
Published: (2023)

FedModule: A Modular Federated Learning Framework
by: Chen, Chuyi, et al.
Published: (2024)