成为VIP会员查看完整内容
VIP会员码认证
首页
主题
会员
服务
注册
·
登录
规范化
关注
0
综合
百科
VIP
热门
动态
论文
精华
Strong normalization through idempotent intersection types: a new syntactical approach
Arxiv
0+阅读 · 1月2日
EHRSummarizer: A Privacy-Aware, FHIR-Native Architecture for Structured Clinical Summarization of Electronic Health Records
Arxiv
0+阅读 · 1月4日
Institutional cooperations in Austrian research: An analysis of shared researchers
Arxiv
0+阅读 · 2025年12月29日
When the Gold Standard isn't Necessarily Standard: Challenges of Evaluating the Translation of User-Generated Content
Arxiv
0+阅读 · 2025年12月19日
Modular Layout Synthesis (MLS): Front-end Code via Structure Normalization and Constrained Generation
Arxiv
0+阅读 · 2025年12月22日
Diacritic Restoration for Low-Resource Indigenous Languages: Case Study with Bribri and Cook Islands Māori
Arxiv
0+阅读 · 2025年12月22日
AraToken: Optimizing Arabic Tokenization with Normalization Pipeline and Language Extension for Qwen3
Arxiv
0+阅读 · 2025年12月20日
Batch Prompting Suppresses Overthinking Reasoning Under Constraint: How Batch Prompting Suppresses Overthinking in Reasoning Models
Arxiv
0+阅读 · 2025年12月3日
Comprehensive Evaluation on Lexical Normalization: Boundary-Aware Approaches for Unsegmented Languages
Arxiv
0+阅读 · 2025年12月1日
APT-ClaritySet: A Large-Scale, High-Fidelity Labeled Dataset for APT Malware with Alias Normalization and Graph-Based Deduplication
Arxiv
0+阅读 · 2025年12月17日
Disciplined Biconvex Programming
Arxiv
0+阅读 · 2025年11月3日
Causes and Canonicalization of Unreproducible Builds in Java
Arxiv
0+阅读 · 2025年11月10日
Reasoning-Guided Claim Normalization for Noisy Multilingual Social Media Posts
Arxiv
0+阅读 · 2025年11月7日
The Seifert-van Kampen Theorem via Computational Paths: A Formalized Approach to Computing Fundamental Groups
Arxiv
0+阅读 · 2025年12月2日
Quantifying the AI Gap: A Comparative Index of Development in the United States and Chinese Regions
Arxiv
0+阅读 · 2025年10月22日
参考链接
提示
微信扫码
咨询专知VIP会员与技术项目合作
(加微信请备注: "专知")
微信扫码咨询专知VIP会员
Top