Skip to content
conftrace_

Tom Melham

3 papers · 2020–2026 · 2 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓
🌍 Conference Polyglot Β· Bronze πŸƒ Academic Marathon Β· Sprint πŸŒ‰ Interdisciplinary Bridge Β· Silver πŸ—ΊοΈ Taxonomy Completionist (12) 🐣 Hot Topic Early Bird

Venues

AAAI (2) EMNLP (1)

Top co-authors

Natasha Yogananda Jeppu (2) Alessandro Abate (2) Daniel Kroening (2) Bertie Vidgen (1) Hosein Hasanbeig (1) Helen Margetts (1) Mohammadhosein Hasanbeig (1) Sam Staton (1) Marcin Szymczak (1) Ohad Kammar (1)

Research topics

Artificial Intelligence (3) Core AI (3) Machine Learning (2) Reinforcement Learning (2) Methods (2) Optimization & Theory (2) Knowledge & Reasoning (1) Natural Language Processing (1) Applications (1) Core Methods (1) Learning Types (1) Reasoning (1)

Keywords

sparse reward (2) policy synthesis (2) bayesian inference (1) text classification (1) model calibration (1) probabilistic programming (1) classifier calibration (1) finite state automaton (1) classifier evaluation (1) abusive content detection (1) non-markovian reward (1) automata synthesis (1) task segmentation (1) automaton synthesis (1) symbolic task inference (1) deep reinforcement learning (1) state machine synthesis (1) reinforcement learning (1)

Papers

Symbolic Task Inference in Deep Reinforcement Learning (Abstract Reprint) AAAI 2026 DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning AAAI 2021 Recalibrating classifiers for interpretable abusive content detection EMNLP 2020