Transformer-SAT
Collection
6 items
•
Updated
•
1
Ferhat Erata
erata
AI & ML interests
Neuro-Symbolic AI, Automated Reasoning, Reinforcement Learning, Security & Privacy
Recent Activity
updated
a model
1 day ago
Yale-ROSE/Qwen3-4B-SAT-VarSelector-Sym-Aug-DPO
published
a model
1 day ago
Yale-ROSE/Qwen3-4B-SAT-VarSelector-Sym-Aug-DPO
updated
a model
6 days ago
Yale-ROSE/Qwen3-4B-SAT-VarSelector-Sym-Aug-GRPO-5x
Organizations
upvoted
a
collection
12 months ago