ramyakeerthyt/ProofFOL
Viewer
•
Updated
•
10.4k
•
86
Ramya Keerthy Thatikonda PRO
ramyakeerthyt
·
AI & ML interests
https://github.com/RamyaKeerthy
Recent Activity
liked
a model
18 days ago
Qwen/Qwen3-4B-Thinking-2507
liked
a model
24 days ago
meta-llama/Meta-Llama-3-8B-Instruct
authored
a paper
30 days ago
Assessing the Sensitivity and Alignment of FOL Closeness Metrics
Organizations
