Rigorous Software Engineering
university
AI & ML interests
Automated Reasoning, Reinforcement Learning, Neuro-Symbolic AI
Recent Activity
models
None public yet
datasets
None public yet