Ferhat Erata's picture
1

Ferhat Erata

erata
·

AI & ML interests

Neuro-Symbolic AI, Automated Reasoning, Reinforcement Learning, Security & Privacy

Recent Activity

updated a model about 4 hours ago
Yale-ROSE/Qwen3-0.6B-SAT-VarSelector-Sym
published a model about 4 hours ago
Yale-ROSE/Qwen3-0.6B-SAT-VarSelector-Sym
updated a model 4 days ago
Yale-ROSE/Qwen3-0.6B-SAT-VarSelector
View all activity

Organizations

Rigorous Software Engineering's profile picture