Prof. Alessandro Abate — Research Profile
University of Oxford · Department of Computer Science
About
Prof. Alessandro Abate at University of Oxford Department of Computer Science lists Automated Verification, Control as their registered research area.
Research keywords
Recent papers
- LLM2Cert: LLM Synthesis of Certificates with SMT/Lean VerificationNewPreprintarXiv (Cornell University) · Oct 21
- Jaxolotl: A Unified High-Performance Benchmark Suite for LTL-Based Multi-Task RLNewPreprintarXiv (Cornell University) · Sep 29
- Efficient Bayes-Adaptive Reinforcement Learning with Temporal Logic SpecificationsNewPreprintarXiv (Cornell University) · Sep 17
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Shared topic: Reinforcement Learning in Robotics
Jun Wang 교수 연구실
University College London · Department of Computer Science
Information-Time Proximal Policy OptimizationPreprintarXiv (Cornell University) · Sep 21Amanda Prorok 교수 연구실
University of Cambridge · Department of Computer Science and Technology
Learning Robot Behavior Priors from Non-Robotic Synthetic DataNewPreprintarXiv (Cornell University) · Oct 22Tim Rocktaschel 교수 연구실
University College London · Department of Computer Science
Anticipating the Consequences of Curriculum Decisions with Large Language ModelsPreprintarXiv (Cornell University) · Oct 3
Other labs in this department
- Aleks Kissinger 교수 연구실
Quantum Computing
- Alex Rogers 교수 연구실
Systems
- Alfonso Bueno-Orovio 교수 연구실
Computational Biology, Health Informatics
- Ana Namburete 교수 연구실
Computational Biology, Health Informatics
- Andreas Galanis 교수 연구실
Algorithms and Complexity Theory
- Andrew D. Ker 교수 연구실
Cyber Security