cRick/NL-to-LTL-Synthetic-Dataset
Viewer
•
Updated
•
255k
•
48
•
5
Jialin Song
jsong2333333
·
AI & ML interests
None yet
Recent Activity
updated
a dataset
3 days ago
delta-lab-ai/pde-controller
authored
a paper
4 days ago
PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs
new activity
6 days ago
delta-lab-ai/pde-controller:upload SFT data
Organizations
jsong2333333's activity
liked
a
dataset
5 months ago