Results 2071 - 2080 of 23898

Leveraging Structure in Formal Logic-Guided Reinforcement Learning

Prediction-Powered Inference

Talk by Susmit Jha (SRI International)

Trustworthy AI for Legal Reasoning

Formal Models of Machine Teaching Without Collusion (Remote Talk)

Neurosymbolic Synthesis for Trustworthy Machine Learning

Language Model Guided Synthesis for Lifting

Machine Teaching: Supervised Learning and Beyond

Automata Embeddings for Goal-Conditioned Reinforcement Learning

Towards Reasoning with a Million Environment Models