NicolasT08/formal-mas
Updated
Nicolas Tinjaca
NicolasT08
AI & ML interests
None yet
Recent Activity
updated a model about 18 hours ago
NicolasT08/formal-mas updated a dataset about 18 hours ago
NicolasT08/formal-mas-eval published a model about 18 hours ago
NicolasT08/formal-masOrganizations
None yet