会员服务
Multi-Location Software Model Completion
Arxiv
0+阅读 · 1月20日
Localized RETE for Incremental Graph Queries with Nested Graph Conditions
Arxiv
0+阅读 · 1月8日
DSL or Code? Evaluating the Quality of LLM-Generated Algebraic Specifications: A Case Study in Optimization at Kinaxis
Arxiv
0+阅读 · 1月5日
DSL or Code? Evaluating the Quality of LLM-Generated Algebraic Specifications: A Case Study in Optimization at Kinaxis
Arxiv
0+阅读 · 1月1日
参考链接
微信扫码咨询专知VIP会员
Top