Automata Learning from Preference and Equivalence Queries
Fuente:
arXiv
Saved in:
| Main Authors: | Hsiung, Eric, Biswas, Joydeep, Chaudhuri, Swarat |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Learning Quantitative Automata Modulo Theories
by: Hsiung, Eric, et al.
Published: (2024)
by: Hsiung, Eric, et al.
Published: (2024)
Synthesize, Partition, then Adapt: Eliciting Diverse Samples from Foundation Models
by: Wen, Yeming, et al.
Published: (2024)
by: Wen, Yeming, et al.
Published: (2024)
Batched Low-Rank Adaptation of Foundation Models
by: Wen, Yeming, et al.
Published: (2023)
by: Wen, Yeming, et al.
Published: (2023)
A Probabilistic Framework for Modular Continual Learning
by: Valkov, Lazar, et al.
Published: (2023)
by: Valkov, Lazar, et al.
Published: (2023)
Online Cascade Learning for Efficient Inference over Streams
by: Nie, Lunyiu, et al.
Published: (2024)
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)
by: Jain, Abhinav, et al.
Published: (2024)
Neurosymbolic Grounding for Compositional World Models
by: Sehgal, Atharva, et al.
Published: (2023)
by: Sehgal, Atharva, et al.
Published: (2023)
SYNAPSE: SYmbolic Neural-Aided Preference Synthesis Engine
by: Modak, Sadanand, et al.
Published: (2024)
by: Modak, Sadanand, et al.
Published: (2024)
Canopy: Property-Driven Learning for Congestion Control
by: Yang, Chenxi, et al.
Published: (2024)
by: Yang, Chenxi, et al.
Published: (2024)
An In-Context Learning Agent for Formal Theorem-Proving
by: Thakur, Amitayush, et al.
Published: (2023)
by: Thakur, Amitayush, et al.
Published: (2023)
Learning from Equivalence Queries, Revisited
by: Braverman, Mark, et al.
Published: (2026)
by: Braverman, Mark, et al.
Published: (2026)
ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving
by: Thakur, Amitayush, et al.
Published: (2025)
by: Thakur, Amitayush, et al.
Published: (2025)
Resource-efficient Inference with Foundation Model Programs
by: Nie, Lunyiu, et al.
Published: (2025)
by: Nie, Lunyiu, et al.
Published: (2025)
Symbolic Regression with a Learned Concept Library
by: Grayeli, Arya, et al.
Published: (2024)
by: Grayeli, Arya, et al.
Published: (2024)
Active Query Synthesis for Preference Learning
by: Nadagouda, Namrata, et al.
Published: (2026)
by: Nadagouda, Namrata, et al.
Published: (2026)
Dynamic Model Predictive Shielding for Provably Safe Reinforcement Learning
by: Banerjee, Arko, et al.
Published: (2024)
by: Banerjee, Arko, et al.
Published: (2024)
Lean Finder: Semantic Search for Mathlib That Understands User Intents
by: Lu, Jialin, et al.
Published: (2025)
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)
by: Yang, Xu, et al.
Published: (2026)
Query-Policy Misalignment in Preference-Based Reinforcement Learning
by: Hu, Xiao, et al.
Published: (2023)
by: Hu, Xiao, et al.
Published: (2023)
Grounding Data Science Code Generation with Input-Output Specifications
by: Wen, Yeming, et al.
Published: (2024)
by: Wen, Yeming, et al.
Published: (2024)
CLARIFY: Contrastive Preference Reinforcement Learning for Untangling Ambiguous Queries
by: Mu, Ni, et al.
Published: (2025)
by: Mu, Ni, et al.
Published: (2025)
Man-Made Heuristics Are Dead. Long Live Code Generators!
by: Dwivedula, Rohit, et al.
Published: (2025)
by: Dwivedula, Rohit, et al.
Published: (2025)
Self-Evolving Visual Concept Library using Vision-Language Critics
by: Sehgal, Atharva, et al.
Published: (2025)
by: Sehgal, Atharva, et al.
Published: (2025)
Learning Formal Specifications from Membership and Preference Queries
by: Shah, Ameesh, et al.
Published: (2023)
by: Shah, Ameesh, et al.
Published: (2023)
Multi-Agent Inverse Reinforcement Learning in Real World Unstructured Pedestrian Crowds
by: Chandra, Rohan, et al.
Published: (2024)
by: Chandra, Rohan, et al.
Published: (2024)
Federated Learning for Estimating Heterogeneous Treatment Effects
by: Makhija, Disha, et al.
Published: (2024)
by: Makhija, Disha, et al.
Published: (2024)
Formal Mathematical Reasoning: A New Frontier in AI
by: Yang, Kaiyu, et al.
Published: (2024)
by: Yang, Kaiyu, et al.
Published: (2024)
Automata Learning of Preferences over Temporal Logic Formulas from Pairwise Comparisons
by: Rahmani, Hazhar, et al.
Published: (2025)
by: Rahmani, Hazhar, et al.
Published: (2025)
Distribution Learning with Valid Outputs Beyond the Worst-Case
by: Rittler, Nick, et al.
Published: (2024)
by: Rittler, Nick, et al.
Published: (2024)
Agnostics: Learning to Code in Any Programming Language via Reinforcement with a Universal Learning Environment
by: Boruch-Gruszecki, Aleksander, et al.
Published: (2025)
by: Boruch-Gruszecki, Aleksander, et al.
Published: (2025)
Inference-Time Personalized Alignment with a Few User Preference Queries
by: Pădurean, Victor-Alexandru, et al.
Published: (2025)
by: Pădurean, Victor-Alexandru, et al.
Published: (2025)
Membership Testing in Markov Equivalence Classes via Independence Query Oracles
by: Zhang, Jiaqi, et al.
Published: (2024)
by: Zhang, Jiaqi, et al.
Published: (2024)
Aura-CAPTCHA: A Reinforcement Learning and GAN-Enhanced Multi-Modal CAPTCHA System
by: Chandra, Joydeep, et al.
Published: (2025)
by: Chandra, Joydeep, et al.
Published: (2025)
SecAlign: Defending Against Prompt Injection with Preference Optimization
by: Chen, Sizhe, et al.
Published: (2024)
by: Chen, Sizhe, et al.
Published: (2024)
LTL-Constrained Policy Optimization with Cycle Experience Replay
by: Shah, Ameesh, et al.
Published: (2024)
by: Shah, Ameesh, et al.
Published: (2024)
The Geometry of Queries: Query-Based Innovations in Retrieval-Augmented Generation for Healthcare QA
by: Yang, Eric, et al.
Published: (2024)
by: Yang, Eric, et al.
Published: (2024)
Mixed-Precision Information Bottlenecks for On-Device Trait-State Disentanglement in Bipolar Agitation Detection
by: Chandra, Joydeep
Published: (2026)
by: Chandra, Joydeep
Published: (2026)
Multi-Type Preference Learning: Empowering Preference-Based Reinforcement Learning with Equal Preferences
by: Liu, Ziang, et al.
Published: (2024)
by: Liu, Ziang, et al.
Published: (2024)
Structural Equivalence and Learning Dynamics in Delayed MARL
by: Sintes, Jules, et al.
Published: (2026)
by: Sintes, Jules, et al.
Published: (2026)
Goal-Conditioned Supervised Learning for LLM Fine-Tuning
by: Li, Shijun, et al.
Published: (2026)
by: Li, Shijun, et al.
Published: (2026)
Similar Items
-
Learning Quantitative Automata Modulo Theories
by: Hsiung, Eric, et al.
Published: (2024) -
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) -
A Probabilistic Framework for Modular Continual Learning
by: Valkov, Lazar, et al.
Published: (2023) -
Online Cascade Learning for Efficient Inference over Streams
by: Nie, Lunyiu, et al.
Published: (2024)