{"total":11,"items":[{"citing_arxiv_id":"2606.19021","ref_index":11,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"On a variational model for phase transformation in SiO2 glass","primary_cat":"cs.CE","submitted_at":"2026-06-17T12:45:21+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":3.0,"formal_verification":"none","one_line_summary":"A variational framework models SiO2 glass under pressure as binary phase coexistence and matches experimental elastic moduli and volume changes.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.13266","ref_index":31,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Dynamic Resource Management in Production HPC Clusters","primary_cat":"cs.DC","submitted_at":"2026-06-11T12:22:46+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":5.0,"formal_verification":"none","one_line_summary":"DMR framework provides practical non-invasive MPI malleability on production HPC systems, matching static performance while cutting node-hour consumption on TOP500 machines.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2605.13616","ref_index":25,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Scalable Deductive Verification of Data-Level Parallel Programs","primary_cat":"cs.SE","submitted_at":"2026-05-13T14:45:49+00:00","verdict":"ACCEPT","verdict_confidence":"LOW","novelty_score":7.0,"formal_verification":"partial","one_line_summary":"Quantifier rewriting and array non-aliasing specifications in VerCors reduce verification time for data-level parallel programs by an average factor of 9.","context_count":1,"top_context_role":"background","top_context_polarity":"background","context_text":"data parallel programming, has had a major impact on scientific computing in fields such as computational biology (e.g., genomics) [24], statistics [15], and physics (e.g., fluid dynamics) [2]. Furthermore, GPUs effectively accelerate com- arXiv:2605.13616v1 [cs.SE] 13 May 2026 2 L. B. van den Haak, A.J. Wijs and M. Huisman putations involving matrix-vector and matrix-matrix multiplications [9,25], and they made an enormous impact on Artificial Intelligence with deep learning [12]. Due to this success, these days, there is a plethora of programming languages supportingthisparadigm,suchasSYCL,OpenCL,CUDAandOpenMP.Typical data structures that are used in these programs are arrays and matrices. However, deductive verification of these programs, i."},{"citing_arxiv_id":"2605.00907","ref_index":10,"ref_count":1,"confidence":0.88,"is_internal_anchor":false,"paper_title":"TRIP-Evaluate: An Open Multimodal Benchmark for Evaluating Large Models in Transportation","primary_cat":"cs.CV","submitted_at":"2026-04-29T04:29:48+00:00","verdict":"ACCEPT","verdict_confidence":"MODERATE","novelty_score":7.0,"formal_verification":"none","one_line_summary":"TRIP-Evaluate is a new open multimodal benchmark with 837 text, image, and point-cloud items organized by a role-task-knowledge taxonomy to evaluate large models on transportation workflows.","context_count":1,"top_context_role":"dataset","top_context_polarity":"background","context_text":"In Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2022, pp. 21329-21338. doi:10.1109/CVPR52688.2022.02067. [8] China Traffic Sign Database. Available at:https://cg.cs.tsinghua.edu.cn/ctsdb/. [9] Caesar, H., V. Bankiti, A. H. Lang, et al. nuScenes: A multimodal dataset for autonomous driving. arXiv, 2020. doi:10.48550/arXiv.1903.11027. [10] Chen, L., C. Sima, Y. Li, Z. Zheng, J. Xu, and P. Luo. PersFormer: 3D Lane Detection via Perspective Transformer and the OpenLane Benchmark. In Computer Vision - ECCV 2022, Lecture Notes in Computer Science, Vol. 13698, Springer, Cham, 2022, pp. 550-567. https://doi.org/10.1007/978-3 -031-19839-7_32. 17 A preprint - May 5, 2026 [11] Luiten, J., A."},{"citing_arxiv_id":"2604.19512","ref_index":19,"ref_count":2,"confidence":0.88,"is_internal_anchor":false,"paper_title":"Defining Robust Ultrasound Quality Metrics via an Ultrasound Foundation Model","primary_cat":"eess.IV","submitted_at":"2026-04-21T14:28:59+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":6.0,"formal_verification":"none","one_line_summary":"Proposes TinyUSFM-uLPIPS and TinyUSFM-NRQ metrics that show better alignment with segmentation task performance and expert preference than PSNR or VGG-LPIPS in ultrasound imaging.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2604.16153","ref_index":52,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"The QBF Gallery 2023","primary_cat":"cs.LO","submitted_at":"2026-04-17T15:23:30+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":2.0,"formal_verification":"none","one_line_summary":"The QBF Gallery 2023 report consolidates submitted solvers and formulas into a public benchmark set and compares solver performance on it while outlining future directions for the community.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2603.18916","ref_index":48,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Agentic Business Process Management: A Research Manifesto","primary_cat":"cs.AI","submitted_at":"2026-03-19T13:52:17+00:00","verdict":"UNVERDICTED","verdict_confidence":"MODERATE","novelty_score":6.0,"formal_verification":"none","one_line_summary":"Agentic Business Process Management reframes BPM around autonomous agents that must exhibit framed autonomy, explainability, conversational actionability, and self-modification to keep their actions aligned with organizational objectives.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2510.16853","ref_index":12,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Agentic Inequality","primary_cat":"cs.CY","submitted_at":"2025-10-19T14:32:46+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":6.0,"formal_verification":"none","one_line_summary":"Introduces the concept of agentic inequality and develops a three-dimensional framework (availability, quality, quantity) to analyze how autonomous AI agents could deepen or mitigate existing divides through scalable goal delegation.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2508.20902","ref_index":34,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Automated Test Validators for Flaky Cyber-Physical System Simulators: Approach and Evaluation","primary_cat":"cs.SE","submitted_at":"2025-08-28T15:33:42+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":6.0,"formal_verification":"none","one_line_summary":"Test validators generated via genetic programming using the Ochiai SBFL formula are more accurate and robust to flakiness than alternatives from Tarantula, Naish, decision trees, or rules, with 88.7% alignment to known requirements in CPS case studies.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2503.14693","ref_index":37,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Magnetoelasticity - magnetic structure interrelation - tetragonal MnPt system study","primary_cat":"cond-mat.mtrl-sci","submitted_at":"2025-03-18T19:52:21+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":3.0,"formal_verification":"none","one_line_summary":"Theoretical calculations explain experimental magnetoelastic data in antiferromagnetic MnPt, linking magnetic structure to anisotropy energy and isotropic/anisotropic magnetostriction coefficients.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2503.12544","ref_index":16,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Polarisation sets of Green operators for normally hyperbolic equations","primary_cat":"math-ph","submitted_at":"2025-03-16T15:25:06+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":6.0,"formal_verification":"none","one_line_summary":"Computes polarisation sets for kernels of advanced/retarded Green operators of normally hyperbolic operators and applies the result to close a gap for the Proca equation.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null}],"limit":50,"offset":0}