会员服务
Harpocrates: A Statically Typed Privacy Conscious Programming Framework
Arxiv
0+阅读 · 2月19日
Distributed Order Recording Techniques for Efficient Record-and-Replay of Multi-threaded Programs
Arxiv
0+阅读 · 2月17日
GoodVibe: Security-by-Vibe for LLM-Based Code Generation
Arxiv
0+阅读 · 2月11日
A framework for Conditional Reasoning in Answer Set Programming
Arxiv
0+阅读 · 1月7日
Reasoning about Medical Triage Optimization with Logic Programming
Arxiv
0+阅读 · 1月8日
Performance Evaluation of Bitstring Representations in a Linear Genetic Programming Framework
Arxiv
0+阅读 · 2025年11月4日
ChopChop: a Programmable Framework for Semantically Constraining the Output of Language Models
Arxiv
0+阅读 · 2025年12月2日
A differentiable programming framework for spin models
Arxiv
0+阅读 · 2023年4月4日
参考链接
微信扫码咨询专知VIP会员
Top