conftrace_

hybrid system

31 papers

Explore in graph

Co-occurring keywords

formal verification (284) neural network (6616) bidirectional lstm (430) rule-based system (81) large language model (13587) hidden markov model (302) optimal control (218) knowledge base (804) formal methods (79) model predictive control (174)

Papers

RouteLMT: Learned Sample Routing for Hybrid LLM Translation Deployment ACL 2026
Reference Recommendation Based Membership Inference Attack Against Hybrid-Based Recommender Systems AAAI 2026
Literature discovery with natural language queries ACL 2025
Provably Safe Neural Network Controllers via Differential Dynamic Logic NIPS 2024
Balancing Humans and Machines: A Study on Integration Scale and Its Impact on Collaborative Performance AAAI 2024
Deciphering Raw Data in Neuro-Symbolic Learning with Provable Guarantees AAAI 2024
Hybrid-RACA: Hybrid Retrieval-Augmented Composition Assistance for Real-time Text Prediction EMNLP 2024
Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions RSS 2024
AI Planning for Hybrid Systems IJCAI 2023
Competitive and Resource Efficient Factored Hybrid HMM Systems are Simpler Than You Think INTERSPEECH 2023
Hybrid Systems Neural Control with Region-of-Attraction Planner L4DC 2023
Low Resource Comparison of Attention-based and Hybrid ASR Exploiting wav2vec 2.0 INTERSPEECH 2022
Segmenting Hybrid Trajectories using Latent ODEs ICML 2021
Abstraction-based branch and bound approach to Q-learning for hybrid optimal control L4DC 2021
A Hybrid Rule-Based and Neural Coreference Resolution System with an Evaluation on Dutch Literature EMNLP 2021
Learning Hybrid Control Barrier Functions from Data CORL 2020
KMI-Panlingua-IITKGP @SIGTYP2020: Exploring rules and hybrid systems for automatic prediction of typological features EMNLP 2020
AiFu at SemEval-2019 Task 10: A Symbolic and Sub-symbolic Integrated System for SAT Math Question Answering SEMEVAL 2019
Neural Grammatical Error Correction with Finite State Transducers NAACL 2019
A Joint End-to-End and DNN-HMM Hybrid Automatic Speech Recognition System with Transferring Sharable Knowledge INTERSPEECH 2019
Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory AAAI 2019
The Effectiveness of Simple Hybrid Systems for Hypernym Discovery ACL 2019
From Explanation to Synthesis: Compositional Program Induction for Learning from Demonstration RSS 2019
Neural Jump Stochastic Differential Equations NIPS 2019
A Hybrid System for Chinese Grammatical Error Diagnosis and Correction ACL 2018