会员服务
它的目的是理解计算的本质，并因此提供更有效的方法。所有介绍或研究数学、逻辑和形式概念和方法的论文都是受欢迎的，前提是它们的动机显然来自计算领域。理论计算机科学发表的论文按其性质分为三个部分。第一部分“算法，自动机，复杂性和游戏”致力于研究算法及其复杂性，使用分析，组合或概率的方法。它包括抽象复杂性的整个领域（即，所有可以使用图灵机器定义的层次结构的结果）、自动机和语言理论的整个领域（包括无限词和无限语言的自动机），整个几何（图形）应用领域和使用统计方法测量系统性能的整个领域。官网链接：https://www.sciencedirect.com/journal/theoretical-computer-science/about/aims-and-scope
DischargeBench: Pre-Deployment Evaluation of LLM Discharge Educators through Persona-Grounded Patient Simulation
Arxiv
0+阅读 · 10月15日
DischargeBench: Pre-Deployment Evaluation of LLM Discharge Educators through Persona-Grounded Patient Simulation
Arxiv
0+阅读 · 10月13日
Towards accurate extreme event likelihoods from diffusion model climate emulators
Arxiv
0+阅读 · 10月12日
Two-Stage Reinforcement Learning for Sound and Adversarial Test Generation in Code LLMs
Arxiv
0+阅读 · 9月3日
Tight bounds on the number of non-equivalent parameterized squares in a word
Arxiv
0+阅读 · 9月2日
AlgoRAG: Retrieval-Augmented Generation for Theoretical Computer Science Education -- A Comprehensive Evaluation Framework for Algorithm Analysis and Complexity Theory
Arxiv
0+阅读 · 9月13日
FormalTCS: Benchmarking End-to-End Frontier Formal Theoretical Computer Science Research of Large Language Models
FormalTCS: Benchmarking End-to-End Frontier Formal Theoretical Computer Science Research of Large Language Models
Arxiv
0+阅读 · 9月1日
TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability
Arxiv
0+阅读 · 8月29日
An Explainable Coherence Score for Detecting Temporal Inconsistencies in Political News
Arxiv
0+阅读 · 8月29日
Tianmu-TC: Physics-constraints Generative Artificial Intelligence for Global Tropical Cyclone Forecasting
Arxiv
0+阅读 · 8月19日
TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability
Arxiv
0+阅读 · 8月10日
TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability
Arxiv
0+阅读 · 8月13日
On the Expressive Power of Transformers
Arxiv
0+阅读 · 8月13日
Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs
Arxiv
0+阅读 · 5月18日
Time-Conditioned and Multi-Time Survival Prediction from 2D PET/CT Projections in Lung Cancer
Arxiv
0+阅读 · 6月10日
参考链接
微信扫码咨询专知VIP会员
Top