Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2502.15441
Cited By
On the Effectiveness of Large Language Models in Writing Alloy Formulas
21 February 2025
Yang Hong
Shan Jiang
Yulei Fu
Sarfraz Khurshid
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"On the Effectiveness of Large Language Models in Writing Alloy Formulas"
2 / 2 papers shown
OBsmith: Testing JavaScript Obfuscator using LLM-powered sketching
Shan Jiang
Chenguang Zhu
Sarfraz Khurshid
93
0
0
11 Oct 2025
APRIL: API Synthesis with Automatic Prompt Optimization and Reinforcement Learning
Hua Zhong
Shan Jiang
Sarfraz Khurshid
103
0
0
29 Aug 2025
1
