Rigorous Software Engineering

AI & ML interests

Automated Reasoning, Reinforcement Learning, Neuro-Symbolic AI

Recent Activity

erata  updated a model about 22 hours ago

Yale-ROSE/Qwen3-0.6B-SAT-VarSelector

erata  published a model about 22 hours ago

Yale-ROSE/Qwen3-0.6B-SAT-VarSelector

erata  updated a model about 23 hours ago

Yale-ROSE/Qwen3-4B-SAT-VarSelector

View all activity

Team members 4