北京市“十三五”规划启动专题建言 8月底结束

Authors and titles for recent submissions

• Mon, 4 Aug 2025
• Fri, 1 Aug 2025
• Thu, 31 Jul 2025
• Wed, 30 Jul 2025
• Tue, 29 Jul 2025

See today's new changes

Mon, 4 Aug 2025 (continued, showing 50 of 432 entries )

[151] arXiv:2508.00508 [pdf, html, other]

Title: Desyan: A Platform for Seamless Value-Flow and Symbolic Analysis

Panagiotis Diamantakis, Thanassis Avgerinos, Yannis Smaragdakis

Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)

[152] arXiv:2508.00507 [pdf, other]

Title: Court of LLMs: Evidence-Augmented Generation via Multi-LLM Collaboration for Text-Attributed Graph Anomaly Detection

Yiming Xu, Jiarun Chen, Zhen Peng, Zihan Chen, Qika Lin, Lan Ma, Bin Shi, Bo Dong

Comments: Accepted by ACM Multimedia 2025 (MM '25)

Subjects: Machine Learning (cs.LG)

[153] arXiv:2508.00506 [pdf, html, other]

Title: Leveraging Convolutional and Graph Networks for an Unsupervised Remote Sensing Labelling Tool

Tulsi Patel, Mark W. Jones, Thomas Redfern

Comments: Video supplement demonstrating feature-space exploration and interactive labelling is available at: this http URL and is archived at this http URL

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[154] arXiv:2508.00505 [pdf, html, other]

Title: A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination

Jasper Nalbach, Erika ábrahám

Subjects: Symbolic Computation (cs.SC)

[155] arXiv:2508.00500 [pdf, html, other]

Title: Pro2Guard: Proactive Runtime Enforcement of LLM Agent Safety via Probabilistic Model Checking

Haoyu Wang, Chris M. Poskitt, Jun Sun, Jiali Wei

Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

[156] arXiv:2508.00497 [pdf, html, other]

Title: From Individuals to Crowds: Dual-Level Public Response Prediction in Social Media

Jinghui Zhang, Kaiyang Wan, Longwei Xu, Ao Li, Zongfang Liu, Xiuying Chen

Comments: ACM MM 2025

Subjects: Social and Information Networks (cs.SI)

[157] arXiv:2508.00496 [pdf, html, other]

Title: LesiOnTime -- Joint Temporal and Clinical Modeling for Small Breast Lesion Segmentation in Longitudinal DCE-MRI

Mohammed Kamran, Maria Bernathova, Raoul Varga, Christian Singer, Zsuzsanna Bago-Horvath, Thomas Helbich, Georg Langs, Philipp Seeb?ck

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI)

[158] arXiv:2508.00493 [pdf, html, other]

Title: SAMSA 2.0: Prompting Segment Anything with Spectral Angles for Hyperspectral Interactive Medical Image Segmentation

Alfie Roddan, Tobias Czempiel, Chi Xu, Daniel S. Elson, Stamatia Giannarou

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[159] arXiv:2508.00491 [pdf, html, other]

Title: HannesImitation: Grasping with the Hannes Prosthetic Hand via Imitation Learning

Carlo Alessi, Federico Vasile, Federico Ceola, Giulia Pasquale, Nicolò Boccardo, Lorenzo Natale

Comments: Paper accepted at IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)

Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI)

[160] arXiv:2508.00489 [pdf, html, other]

Title: The Missing Parts: Augmenting Fact Verification with Half-Truth Detection

Yixuan Tang, Jincheng Wang, Anthony K.H. Tung

Subjects: Computation and Language (cs.CL)

[161] arXiv:2508.00485 [pdf, other]

Title: J4CC, A Frame for Communication Control

Aernout Schmidt, Kunbei Zhang

Comments: 10,583 words, 23 pages

Subjects: Computers and Society (cs.CY); Theoretical Economics (econ.TH)

[162] arXiv:2508.00482 [pdf, html, other]

Title: Semantic Subtyping for Maps in Erlang

Erdem Yildirim, Albert Schimpf, Stefan Wehr, Annette Bieniusa

Subjects: Programming Languages (cs.PL)

[163] arXiv:2508.00478 [pdf, html, other]

Title: CyGATE: Game-Theoretic Cyber Attack-Defense Engine for Patch Strategy Optimization

Yuning Jiang, Nay Oo, Qiaoran Meng, Lu Lin, Dusit Niyato, Zehui Xiong, Hoon Wei Lim, Biplab Sikdar

Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI)

[164] arXiv:2508.00477 [pdf, html, other]

Title: LAMIC: Layout-Aware Multi-Image Composition via Scalability of Multimodal Diffusion Transformer

Yuzhuo Chen, Zehua Ma, Jianhua Wang, Kai Kang, Shunyu Yao, Weiming Zhang

Comments: 8 pages, 5 figures, 3 tables

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[165] arXiv:2508.00476 [pdf, html, other]

Title: GETALP@AutoMin 2025: Leveraging RAG to Answer Questions based on Meeting Transcripts

Jeongwoo Kang, Markarit Vartampetian, Felix Herron, Yongxin Zhou, Diandra Fabre, Gabriela Gonzalez-Saez

Subjects: Computation and Language (cs.CL)

[166] arXiv:2508.00475 [pdf, html, other]

Title: E2ATST: A Temporal-Spatial Optimized Energy-Efficient Architecture for Training Spiking Transformer

Yunhao Ma (1 and 2), Yanyu Lin (1), Mingjing Li (1), Puli Quan (1), Chenlin Zhou (1), Wenyue Zhang (1 and 2), Zhiwei Zhong (1), Wanyi Jia (1, 3 and 4), Xueke Zhu (1), Qingyan Meng (1), Huihui Zhou (1 and 3), Fengwei An (2)

Subjects: Hardware Architecture (cs.AR); Neural and Evolutionary Computing (cs.NE)

[167] arXiv:2508.00473 [pdf, html, other]

Title: HyPCV-Former: Hyperbolic Spatio-Temporal Transformer for 3D Point Cloud Video Anomaly Detection

Jiaping Cao, Kangkang Zhou, Juan Du

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[168] arXiv:2508.00472 [pdf, html, other]

Title: A Conditional GAN for Tabular Data Generation with Probabilistic Sampling of Latent Subspaces

Leonidas Akritidis, Panayiotis Bozanis

Subjects: Machine Learning (cs.LG)

[169] arXiv:2508.00471 [pdf, html, other]

Title: Semantic and Temporal Integration in Latent Diffusion Space for High-Fidelity Video Super-Resolution

Yiwen Wang, Xinning Chai, Yuhong Zhang, Zhengxue Cheng, Jun Zhao, Rong Xie, Li Song

Subjects: Computer Vision and Pattern Recognition (cs.CV); Image and Video Processing (eess.IV)

[170] arXiv:2508.00467 [pdf, html, other]

Title: SubCDM: Collective Decision-Making with a Swarm Subset

Samratul Fuady, Danesh Tarapore, Mohammad D. Soorati

Comments: 6 pages, 7 figures. This paper has been accepted for presentation at the 2025 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2025)

Subjects: Robotics (cs.RO)

[171] arXiv:2508.00462 [pdf, html, other]

Title: Managing Power Gaps as a Topic of Pair Programming Skill: A Grounded Theory

Linus Ververs, Lutz Prechelt

Subjects: Software Engineering (cs.SE)

[172] arXiv:2508.00459 [pdf, html, other]

Title: Thinking Machines: Mathematical Reasoning in the Age of LLMs

Andrea Asperti, Alberto Naibo, Claudio Sacerdoti Coen

Subjects: Artificial Intelligence (cs.AI)

[173] arXiv:2508.00458 [pdf, html, other]

Title: LO-Aware Adaptive Modulation for Rydberg Atomic Receivers

Jiuyu Liu, Yi Ma, Rahim Tafazolli

Comments: Accepted by IEEE GLOBECOM 2025

Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)

[174] arXiv:2508.00454 [pdf, other]

Title: Learning an Efficient Multi-Turn Dialogue Evaluator from Multiple Judges

Yuqi Tang, Kehua Feng, Yunfeng Wang, Zhiwen Chen, Chengfei Lv, Gang Yu, Qiang Zhang, Keyan Ding

Comments: 15 pages, 2 pages, under review at AAAI 2026

Subjects: Computation and Language (cs.CL)

[175] arXiv:2508.00453 [pdf, html, other]

Title: PIF-Net: Ill-Posed Prior Guided Multispectral and Hyperspectral Image Fusion via Invertible Mamba and Fusion-Aware LoRA

Baisong Li, Xingwang Wang, Haixiao Xu

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[176] arXiv:2508.00452 [pdf, html, other]

Title: M^2VAE: Multi-Modal Multi-View Variational Autoencoder for Cold-start Item Recommendation

Chuan He, Yongchao Liu, Qiang Li, Wenliang Zhong, Chuntao Hong, Xinwei Yao

Subjects: Information Retrieval (cs.IR); Artificial Intelligence (cs.AI)

[177] arXiv:2508.00451 [pdf, html, other]

Title: WeightFlow: Learning Stochastic Dynamics via Evolving Weight of Neural Network

Ruikun Li, Jiazhen Liu, Huandong Wang, Qingmin Liao, Yong Li

Subjects: Computational Engineering, Finance, and Science (cs.CE)

[178] arXiv:2508.00450 [pdf, html, other]

Title: When Relevance Meets Novelty: Dual-Stable Periodic Optimization for Exploratory Recommendation

Hongxiang Lin, Hao Guo, Zeshun Li, Erpeng Xue, Yongqian He, Xiangyu Hou, Zhaoyu Hu, Lei Wang, Sheng Chen

Subjects: Information Retrieval (cs.IR); Artificial Intelligence (cs.AI)

[179] arXiv:2508.00447 [pdf, html, other]

Title: CLIPTime: Time-Aware Multimodal Representation Learning from Images and Text

Anju Rani, Daniel Ortiz-Arroyo, Petar Durdevic

Comments: 11 pages, 8 figures

Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)

[180] arXiv:2508.00445 [pdf, html, other]

Title: AutoDebias: Automated Framework for Debiasing Text-to-Image Models

Hongyi Cai, Mohammad Mahdinur Rahman, Mingkang Dong, Jie Li, Muxin Pu, Zhili Fang, Yinan Peng, Hanjun Luo, Yang Liu

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[181] arXiv:2508.00443 [pdf, html, other]

Title: SDMatte: Grafting Diffusion Models for Interactive Matting

Longfei Huang, Yu Liang, Hao Zhang, Jinwei Chen, Wei Dong, Lunde Chen, Wanyu Liu, Bo Li, Pengtao Jiang

Comments: Accepted at ICCV 2025, 11 pages, 4 figures

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[182] arXiv:2508.00442 [pdf, html, other]

Title: TopoTTA: Topology-Enhanced Test-Time Adaptation for Tubular Structure Segmentation

Jiale Zhou, Wenhan Wang, Shikun Li, Xiaolei Qu, Xin Guo, Yizhong Liu, Wenzhong Tang, Xun Lin, Yefeng Zheng

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI)

[183] arXiv:2508.00441 [pdf, html, other]

Title: DGEMM without FP64 Arithmetic -- using FP64 Emulation and FP8 Tensor Cores with Ozaki Scheme

Daichi Mukunoki

Subjects: Performance (cs.PF); Hardware Architecture (cs.AR); Mathematical Software (cs.MS)

[184] arXiv:2508.00440 [pdf, html, other]

Title: Reducing the gap between general purpose data and aerial images in concentrated solar power plants

M.A. Pérez-Cuti?o, J. Valverde, J. Capitán, J.M. Díaz-Bá?ez

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Robotics (cs.RO)

[185] arXiv:2508.00439 [pdf, html, other]

Title: HateBuffer: Safeguarding Content Moderators' Mental Well-Being through Hate Speech Content Modification

Subin Park, Jeonghyun Kim, Jeanne Choi, Joseph Seering, Uichin Lee, Sung-Ju Lee

Comments: Accepted by ACM CSCW 2025; 39 pages (including 6 pages of Appendix)

Subjects: Human-Computer Interaction (cs.HC)

[186] arXiv:2508.00434 [pdf, html, other]

Title: Accurate Latent Inversion for Generative Image Steganography via Rectified Flow

Yuqi Qian, Yun Cao, Meiyang Lv, Haocheng Fu

Subjects: Cryptography and Security (cs.CR)

[187] arXiv:2508.00429 [pdf, html, other]

Title: ReaGAN: Node-as-Agent-Reasoning Graph Agentic Network

Minghao Guo, Xi Zhu, Jingyuan Huang, Kai Mei, Yongfeng Zhang

Comments: 17 pages, work in progress

Subjects: Computation and Language (cs.CL); Machine Learning (cs.LG); Multiagent Systems (cs.MA)

[188] arXiv:2508.00428 [pdf, html, other]

Title: Sel3DCraft: Interactive Visual Prompts for User-Friendly Text-to-3D Generation

Nan Xiang, Tianyi Liang, Haiwen Huang, Shiqi Jiang, Hao Huang, Yifei Huang, Liangyu Chen, Changbo Wang, Chenhui Li

Comments: IEEE VIS VAST 2025 ACM 2012 CCS - Human-centered computing, Visualization, Visualization design and evaluation methods

Subjects: Graphics (cs.GR); Human-Computer Interaction (cs.HC)

[189] arXiv:2508.00427 [pdf, html, other]

Title: Contact-Aware Amodal Completion for Human-Object Interaction via Multi-Regional Inpainting

Seunggeun Chi, Enna Sachdeva, Pin-Hao Huang, Kwonjoon Lee

Comments: ICCV 2025 (Highlight)

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI)

[190] arXiv:2508.00426 [pdf, html, other]

Title: Tetris: Efficient Intra-Datacenter Calls Packing for Large Conferencing Services

Rohan Gandhi, Ankur Mallick, Ken Sueda, Rui Liang

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)

[191] arXiv:2508.00424 [pdf, html, other]

Title: CrossSet: Unveiling the Complex Interplay of Two Set-typed Dimensions in Multivariate Data

Kresimir Matkovic, Rainer Splechtna, Denis Gracanin, Helwig Hauser

Comments: Will be published in TVCG and presented at IEEE VIS

Subjects: Graphics (cs.GR)

[192] arXiv:2508.00422 [pdf, html, other]

Title: Automated Type Annotation in Python Using Large Language Models

Varun Bharti, Shashwat Jha, Dhruv Kumar, Pankaj Jalote

Comments: Under Review

Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG)

[193] arXiv:2508.00421 [pdf, html, other]

Title: UIS-Mamba: Exploring Mamba for Underwater Instance Segmentation via Dynamic Tree Scan and Hidden State Weaken

Runmin Cong, Zongji Yu, Hao Fang, Haoyan Sun, Sam Kwong

Comments: ACM MM 2025

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[194] arXiv:2508.00420 [pdf, html, other]

Title: Combining Discrete Wavelet and Cosine Transforms for Efficient Sentence Embedding

Rana Salama, Abdou Youssef, Mona Diab

Journal-ref: 5th International Conference on Advanced Natural Language Processing (AdNLP 2024), May 25 ~ 26, 2024, Vancouver, Canada Volume Editors : David C. Wyld, Dhinaharan Nagamalai (Eds) ISBN : 978-1-923107-27-4

Subjects: Computation and Language (cs.CL)

[195] arXiv:2508.00419 [pdf, html, other]

Title: Loop Invariant Generation: A Hybrid Framework of Reasoning optimised LLMs and SMT Solvers

Varun Bharti, Shashwat Jha, Dhruv Kumar, Pankaj Jalote

Comments: Under Review

Subjects: Logic in Computer Science (cs.LO); Machine Learning (cs.LG); Programming Languages (cs.PL)

[196] arXiv:2508.00418 [pdf, html, other]

Title: IN2OUT: Fine-Tuning Video Inpainting Model for Video Outpainting Using Hierarchical Discriminator

Sangwoo Youn, Minji Lee, Nokap Tony Park, Yeonggyoo Jeon, Taeyoung Na

Comments: ICIP 2025. Code: this http URL

Subjects: Computer Vision and Pattern Recognition (cs.CV); Image and Video Processing (eess.IV)

[197] arXiv:2508.00415 [pdf, html, other]

Title: Transforming Credit Risk Analysis: A Time-Series-Driven ResE-BiLSTM Framework for Post-Loan Default Detection

Yue Yang, Yuxiang Lin, Ying Zhang, Zihan Su, Chang Chuan Goh, Tangtangfang Fang, Anthony Graham Bellotti, Boon Giin Lee

Subjects: Machine Learning (cs.LG)

[198] arXiv:2508.00414 [pdf, other]

Title: Cognitive Kernel-Pro: A Framework for Deep Research Agents and Agent Foundation Models Training

Tianqing Fang, Zhisong Zhang, Xiaoyang Wang, Rui Wang, Can Qin, Yuxuan Wan, Jun-Yu Ma, Ce Zhang, Jiaqi Chen, Xiyun Li, Hongming Zhang, Haitao Mi, Dong Yu

Comments: 16 pages

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL)

[199] arXiv:2508.00413 [pdf, html, other]

Title: DC-AE 1.5: Accelerating Diffusion Model Convergence with Structured Latent Space

Junyu Chen, Dongyun Zou, Wenkun He, Junsong Chen, Enze Xie, Song Han, Han Cai

Comments: ICCV 2025

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI)

[200] arXiv:2508.00412 [pdf, html, other]

Title: Sortblock: Similarity-Aware Feature Reuse for Diffusion Model

Hanqi Chen, Xu Zhang, Xiaoliu Guan, Lielin Jiang, Guanzhong Wang, Zeyu Chen, Yi Liu

Subjects: Computer Vision and Pattern Recognition (cs.CV)