logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
I

Işıl Dillig

university of texas system

40H指数
206论文数
5.1K被引数
收录论文 6
发表时间
logo
Homomorphism Calculus for User-Defined Aggregations用户自定义聚合的 Homomorphism Calculus
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errWang, Ziteng; Fang, Ruijie; Zheng, Linus; Tang, Dixin; Dillig, Isil
err分享
err收藏
Active Learning for Neurosymbolic Program Synthesis神经符号程序合成的主动学习
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errBarnaby, Celeste; Chen, Qiaochu; Ramalingam, Ramya; Bastani, Osbert; Dillig, Isil
err分享
err收藏
Automated Discovery of Tactic Libraries for Interactive Theorem Proving交互式定理证明中策略库的自动发现
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errXin, Yutong; Xin, Jimmy; Poesia, Gabriel; Goodman, Noah D.; Chen, Qiaochu; Dillig, Isil
err分享
err收藏
Probabilistic Inference for Datalog with Correlated Inputs关联输入的Datalog概率推理
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errWang, Jingbo; Halalingaiah, Shashin; Chen, Wei Yi; Wang, Chao; Dillig, Isil
err分享
err收藏
Sketch-Driven Regular Expression Generation from Natural Language and Examples
errTRANSACTIONS OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS
IF6.9
err2020-12-01
err10
errOAAI
errYe, Xi; Chen, Qiaochu; Wang, Xinyu; Dillig, Isil; Durrett, Greg
err分享
err收藏
Reasoning About the Unknown in Static Analysis静态分析中未知数的推理
errCOMMUNICATIONS OF THE ACM
IF12.2
err2010-08-01
err10
PREAI
errDillig, Isil; Dillig, Thomas; Aiken, Alex
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
A
Alex Aiken
H 指数: 75 · 论文数: 395
N
Noah D. Goodman
H 指数: 66 · 论文数: 429
G
Greg Durrett
H 指数: 32 · 论文数: 213
O
Osbert Bastani
H 指数: 27 · 论文数: 187
王
王新宇 (Xinyu Wang)
H 指数: 25 · 论文数: 166
查看更多