arxiv:2412.18134
Ferhat Erata
erata
AI & ML interests
Neuro-Symbolic AI, Automated Reasoning, Reinforcement Learning, Security & Privacy
Recent Activity
updated
a model
about 12 hours ago
Yale-ROSE/Qwen3-4B-SAT-VarSelector-Sym-Aug-GRPO-5x
published
a model
about 12 hours ago
Yale-ROSE/Qwen3-4B-SAT-VarSelector-Sym-Aug-GRPO-5x
updated
a model
1 day ago
Yale-ROSE/Qwen3-4B-SAT-VarSelector-Sym-Aug-GRPO-2x