会员服务
机器或装置在无人干预的情况下按规定的程序或指令自动进行操作或控制的过程， 是一门涉及学科较多、应用广泛的综合性科学技术。
Claim Automation using Large Language Model
Arxiv
0+阅读 · 2月18日
VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus
Arxiv
0+阅读 · 2月18日
Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees
Arxiv
0+阅读 · 2月18日
FAMOSE: A ReAct Approach to Automated Feature Discovery
Arxiv
0+阅读 · 2月19日
Toward LLM-Supported Automated Assessment of Critical Thinking Subskills
Arxiv
0+阅读 · 2月18日
NotebookRAG: Retrieving Multiple Notebooks to Augment the Generation of EDA Notebooks for Crowd-Wisdom
Arxiv
0+阅读 · 2月19日
A Scalable Framework for Evaluating Health Language Models
Arxiv
0+阅读 · 2月18日
ATLAS: Automated Tree-based Language Analysis System for C and C++ source programs
Arxiv
0+阅读 · 2月19日
Automated Web Application Testing: End-to-End Test Case Generation with Large Language Models and Screen Transition Graphs
Arxiv
0+阅读 · 2月19日
Towards Secure and Interoperable Data Spaces for 6G: The 6G-DALI Approach
Arxiv
0+阅读 · 2月18日
SPARC: Scenario Planning and Reasoning for Automated C Unit Test Generation
SPARC: Scenario Planning and Reasoning for Automated C Unit Test Generation
Arxiv
0+阅读 · 2月18日
Software Testing at the Network Layer: Automated HTTP API Quality Assessment and Security Analysis of Production Web Applications
Arxiv
0+阅读 · 2月18日
Automated Assessment of Kidney Ureteroscopy Exploration for Training
Arxiv
0+阅读 · 2月17日
"What I'm Interested in is Something that Violates the Law": Regulatory Practitioner Views on Automated Detection of Deceptive Design Patterns
Arxiv
0+阅读 · 2月18日
Causally-Guided Automated Feature Engineering with Multi-Agent Reinforcement Learning
Arxiv
0+阅读 · 2月18日
参考链接
微信扫码咨询专知VIP会员
Top