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

Loris D’Antoni

University of California System

25H指数
146论文数
2.0K被引数
收录论文 5
发表时间
logo
CHOPCHOP: A Programmable Framework for Semantically Constraining the Output of Language ModelsCHOPCHOP：一种用于语义约束语言模型输出的可编程框架
errProceedings of the ACM on Programming Languages-PACMPL
IF2.8
err2026-01-01
err0
PREAI
errNagy, Shaan; Zhou, Timothy; Polikarpova, Nadia; D'Antoni, Loris
err分享
err收藏
Unrealizability Logic (vol 7, pg 659, 2023)不可实现性逻辑（卷 7，第 659 页，2023年）
errProceedings of the ACM on Programming Languages-PACMPL
IF2.8
err2026-01-01
err0
PREAI
errKim, Jinwoo; D'antoni, Loris; Reps, Thomas
err分享
err收藏
Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers很高兴认识你：合成实用的MLIR摘要转换器
errProceedings of the ACM on Programming Languages-PACMPL
IF2.8
err2026-01-01
err0
PREAI
errPeng, Xuanyu; Kennedy, Dominic; Fan, Yuyou; Greenman, Ben; Regehr, John; D'Antoni, Loris
err分享
err收藏
Proving Data-Poisoning Robustness in Decision Trees
errCOMMUNICATIONS OF THE ACM
IF12.2
err2023-01-20
err0
errOAAI
errDrews, Samuel; Albarghouthi, Aws; D'Antoni, Loris
err分享
err收藏
Automata Modulo Theories
errCOMMUNICATIONS OF THE ACM
IF12.2
err2021-04-26
err15
errOAAI
errD'Antoni, Loris; Veanes, Margus
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
J
John Regehr
H 指数: 38 · 论文数: 119
M
Margus Veanes
H 指数: 30 · 论文数: 196
J
Jinwoo Kim
H 指数: 28 · 论文数: 96
A
Aws Albarghouthi
H 指数: 22 · 论文数: 109
S
Samuel Drews
H 指数: 6 · 论文数: 12
查看更多