{"total":169,"items":[{"citing_arxiv_id":"2606.27886","ref_index":9,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"A Comparison of Fusion Techniques for Multi-Modal Human Activity Recognition on the HARMES Dataset","primary_cat":"cs.LG","submitted_at":"2026-06-26T09:30:30+00:00","verdict":"CONDITIONAL","verdict_confidence":"LOW","novelty_score":6.0,"formal_verification":"none","one_line_summary":"Gated Multi-modal Fusion reaches 0.82 macro F1 on HARMES, beating the concatenation baseline of 0.76 by 6 points under leave-one-participant-out evaluation.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.27300","ref_index":10,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Automated Galerkin time stepping in Irksome","primary_cat":"math.NA","submitted_at":"2026-06-25T17:21:38+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":6.0,"formal_verification":"none","one_line_summary":"Automation of DG and CPG Galerkin-in-time schemes in Irksome with support for auxiliary variables, flexible quadrature, and monolithic solvers.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.26505","ref_index":2,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Same Scrutiny, More Time: Eye Tracking Insights into Reviewing LLM-Labelled Code","primary_cat":"cs.SE","submitted_at":"2026-06-25T01:23:05+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":5.0,"formal_verification":"none","one_line_summary":"Eye-tracking experiment finds that labeling code as LLM-generated increases fixation time without changing review thoroughness, with reviewers adapting criteria or using the prompt.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.26247","ref_index":96,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Double-real corrections to color singlet decay in a parton-shower inspired scheme","primary_cat":"hep-ph","submitted_at":"2026-06-24T18:00:12+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":7.0,"formal_verification":"none","one_line_summary":"A parton-shower-inspired local subtraction scheme for double-real corrections in color singlet decays is introduced, with finiteness verified for the e+e- to qqbar remainder and phase-space integrals computed analytically and via sector decomposition.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.24305","ref_index":31,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Proximity-Induced Spin Reorientation in Monolayer CrI$_3$ on Hexagonal WTe$_2$","primary_cat":"cond-mat.mtrl-sci","submitted_at":"2026-06-23T08:36:25+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":5.0,"formal_verification":"none","one_line_summary":"WTe2 proximity reorients CrI3 monolayer spins in-plane by shifting the balance between symmetric anisotropic exchange and onsite anisotropy, increasing ordering temperature.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.24302","ref_index":25,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"TrOCR for Medieval HTR: A Systematic Ablation Study with Cross-Dataset Validation","primary_cat":"cs.CV","submitted_at":"2026-06-23T08:34:18+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":5.0,"formal_verification":"none","one_line_summary":"Systematic ablation of TrOCR fine-tuning for medieval HTR finds that freezing up to three encoder or six decoder layers does not significantly harm accuracy and that removing CLAHE contrast normalization yields comparable 7.84% CER on the Cortonese manuscript.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.22632","ref_index":202,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"ColumnKeeper: Efficient Solutions to the ColumnDisturb Vulnerability in DRAM-based Systems","primary_cat":"cs.CR","submitted_at":"2026-06-21T18:37:02+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":7.0,"formal_verification":"none","one_line_summary":"ColumnKeeper provides the first mitigations for ColumnDisturb using per-subarray counters or probabilistic refresh, with low overheads at 1M and 128K thresholds.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.21131","ref_index":7,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Interfacial Roughness Spectra and Finite-Depth Salt-Finger Mixing at a Two-Layer Thermohaline Interface","primary_cat":"physics.flu-dyn","submitted_at":"2026-06-19T06:16:29+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":6.0,"formal_verification":"none","one_line_summary":"The horizontal spectrum of interfacial roughness controls the route to vertical exchange in finite-depth salt-finger mixing simulations.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.19644","ref_index":44,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Prompt Quality and Pull Request Outcomes: A Stage-Based Empirical Study of LLM-Assisted Development","primary_cat":"cs.SE","submitted_at":"2026-06-17T22:50:22+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":4.0,"formal_verification":"none","one_line_summary":"Specificity and Context predict actionable code generation while Verification predicts adoption and Context predicts integration depth in LLM-assisted PR workflows.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.19201","ref_index":84,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Impact of the Einstein Telescope's duty cycle on the estimation of binary black holes parameters","primary_cat":"gr-qc","submitted_at":"2026-06-17T15:40:01+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":5.0,"formal_verification":"none","one_line_summary":"ET-Δ outperforms ET-2L on luminosity distance and source-frame masses for BBH events because its redundancy produces higher multi-detector uptime under realistic duty-cycle modeling.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.19152","ref_index":57,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"AdsMind: A Physics-Grounded Multi-Agent System for Self-Correcting Discovery of Adsorption Configurations on Heterogeneous Catalyst Surfaces","primary_cat":"cond-mat.mtrl-sci","submitted_at":"2026-06-17T14:57:16+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":6.0,"formal_verification":"none","one_line_summary":"AdsMind is a multi-agent LLM framework with MLFF relaxation feedback that achieves 100% and 98.8% success on AA20 and OCD-GMAE62 benchmarks using roughly 4 relaxations per case and avoids sign errors seen in open-loop baselines on DFT checks.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.18941","ref_index":2,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"ESBMC-GraphPLC: Formal Verification of Graphical PLCopen XML Ladder Diagram Programs Using SMT-Based Model Checking","primary_cat":"cs.PL","submitted_at":"2026-06-17T11:22:34+00:00","verdict":"ACCEPT","verdict_confidence":"MODERATE","novelty_score":4.0,"formal_verification":"none","one_line_summary":"ESBMC-GraphPLC implements a graph traversal resolver that extracts Boolean rung logic from graphical LD connection graphs and produces complete GOTO IR, enabling verification of programs that previously yielded empty representations.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.17612","ref_index":40,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"PracRepair: LLM-Empowered Automated Program Repair Inspired by Human-Like Debugging Practices","primary_cat":"cs.SE","submitted_at":"2026-06-16T07:18:37+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":6.0,"formal_verification":"none","one_line_summary":"PracRepair uses LLMs for on-demand static-dynamic context construction, question-driven failure diagnosis, and iterative patch refinement via validation diagnostics and trace changes, fixing more bugs than baselines on Defects4J V1.2/V2.0 and RWB.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.13360","ref_index":14,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"The $(1 + 1)$-EA in Dynamic Environments","primary_cat":"cs.NE","submitted_at":"2026-06-11T13:46:10+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":7.0,"formal_verification":"none","one_line_summary":"Proves sharp threshold on mutation parameter χ for (1+1)-EA on Dynamic Binary Value and Uniform weight dynamic linear problems, yielding O(n log n) runtime below threshold and 2^Ω(n) above, plus a second stagnation-distance threshold for the former.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.13329","ref_index":13,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Work Stealing for the 2D-Mesh Topology of Satellite Constellations in Low Earth Orbit","primary_cat":"cs.DC","submitted_at":"2026-06-11T13:22:55+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":5.0,"formal_verification":"none","one_line_summary":"Neighbor-only work stealing for 2D-mesh satellite constellations yields growing per-attempt latency advantages and performs within 2.2% of global stealing on emulated workloads.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.13219","ref_index":23,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Embedded Trefftz DG method for steady Navier-Stokes flow. Part II: Nonlinear problem","primary_cat":"math.NA","submitted_at":"2026-06-11T11:35:11+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":5.0,"formal_verification":"none","one_line_summary":"An embedded Trefftz-DG method for nonlinear steady Navier-Stokes proves existence, uniqueness, and Picard convergence under resolution and small-data assumptions while inheriting a priori error bounds from standard DG analysis.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.11681","ref_index":56,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"UR-BERT: Scaling Text Encoders for Massively Multilingual TTS Through Universal Romanization and Speech Token Prediction","primary_cat":"cs.CL","submitted_at":"2026-06-10T05:51:20+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":6.0,"formal_verification":"none","one_line_summary":"UR-BERT scales multilingual TTS encoders to 495 languages via Romanization unification and speech token prediction, outperforming baselines with better generalization.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.10627","ref_index":35,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Profy: Interpretable Visualization of Expertise-Dependent Motor Skills Toward Supporting Piano Practice","primary_cat":"cs.HC","submitted_at":"2026-06-09T09:28:46+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":5.0,"formal_verification":"none","one_line_summary":"Profy uses take-level expert-amateur labels on 1083 piano recordings to produce time-aligned highlight scores that correlate with expert review points (r=0.61) on held-out amateur clips.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.10255","ref_index":46,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"POPSICLE: Benchmark Datasets for Segmentation and Localization in CryoET","primary_cat":"eess.IV","submitted_at":"2026-06-08T23:47:24+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":7.0,"formal_verification":"none","one_line_summary":"POPSICLE introduces benchmark datasets for cryoET segmentation and localization built from the CryoET Data Portal.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.08477","ref_index":49,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"A Variability-Based Framework for Interpretable Naming in Formal and Relational Concept Analysis","primary_cat":"cs.AI","submitted_at":"2026-06-07T06:47:34+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":5.0,"formal_verification":"none","one_line_summary":"Presents a configurable variability-based framework for LLM-assisted naming of formal concepts in FCA and RCA, illustrated on a small pizzeria relational dataset.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.08465","ref_index":5,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"An Empirical Comparison of General Context-Free Parsers","primary_cat":"cs.FL","submitted_at":"2026-06-07T05:58:58+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":7.0,"formal_verification":"none","one_line_summary":"First unified benchmark finds GLR family has only 3x median slowdown over LR(1) on deterministic grammars and is the fastest among generalized parsers.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.08286","ref_index":27,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"FXplorer: A Map-Based Interface for Exploratory Audio Effect Design","primary_cat":"cs.SD","submitted_at":"2026-06-06T18:14:41+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":5.0,"formal_verification":"none","one_line_summary":"FXplorer organizes audio effects in a perceptually informed 2D space with ML embeddings for similarity and semantic search, combining spatial browsing with DAW-style controls for interactive editing and interpolation.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.07129","ref_index":6,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Collaborative estimation and evaluation of SARS-CoV-2 variant nowcasting in the United States","primary_cat":"stat.AP","submitted_at":"2026-06-05T10:41:24+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":4.0,"formal_verification":"none","one_line_summary":"A new collaborative hub for nowcasting SARS-CoV-2 variant frequencies at US state level was built and tested; a simple national pooling baseline performed as well as or better than individual models during October 2024–June 2025.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.06921","ref_index":2,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Towards Event-Robust Acoustic Scene Classification","primary_cat":"cs.SD","submitted_at":"2026-06-05T05:35:03+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":7.0,"formal_verification":"none","one_line_summary":"Introduces ESAS benchmark dataset using LLM-assisted event injection into acoustic scenes, showing significant performance drops in existing ASC models.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.06795","ref_index":39,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"BiEAR: A Human Auditory-Inspired Adaptive Binaural Front-end for Multi-Speaker Localisation and Distance Estimation","primary_cat":"eess.AS","submitted_at":"2026-06-05T00:45:28+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":5.0,"formal_verification":"none","one_line_summary":"BiEAR adaptively tunes binaural auditory filterbanks via a neural controller to improve multi-speaker localisation and distance estimation over fixed front-ends in anechoic and real rooms.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.05373","ref_index":28,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Evidence-Guided Neural Architecture Selection under Uncertainty for Subject-Specific Blood Glucose Forecasting","primary_cat":"cs.LG","submitted_at":"2026-06-03T19:20:11+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":4.0,"formal_verification":"none","one_line_summary":"EVIDENT selects the lowest-capacity TCN architecture satisfying a validation criterion via Bayesian evidence ranking, yielding more consistent generalization to unseen diabetes patients than random search.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.04918","ref_index":55,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"The geometry of lunar gravitational wave detection","primary_cat":"gr-qc","submitted_at":"2026-06-03T14:13:41+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":7.0,"formal_verification":"none","one_line_summary":"Optimal SSB frame origin for LGWA cuts sampling time by 10x and tightens chirp mass and sky position constraints for stellar-mass binaries beyond LVK performance.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.04817","ref_index":43,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Effect of isotropic errors on the complexity of Grover's algorithm","primary_cat":"quant-ph","submitted_at":"2026-06-03T12:40:49+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":5.0,"formal_verification":"none","one_line_summary":"Numerical simulations indicate isotropic errors degrade Grover's algorithm performance and success probability on noisy quantum hardware.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.03685","ref_index":22,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"A Close Look At World Model Recovery In Supervised Fine-Tuned LLM Planners","primary_cat":"cs.LG","submitted_at":"2026-06-02T14:09:16+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":6.0,"formal_verification":"none","one_line_summary":"Supervised fine-tuning lets LLMs linearly encode action validity and state predicates, with broader state-space coverage during training improving world-model recovery.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.03586","ref_index":3,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Molecular neutron spectroscopy techniques applied to ceramics $\\alpha$-SiC and $\\beta$-Ga$_2$O$_3$","primary_cat":"cond-mat.mtrl-sci","submitted_at":"2026-06-02T12:53:56+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":3.0,"formal_verification":"none","one_line_summary":"Approximate incoherent simulations of 1-D powder inelastic neutron scattering spectra match both experiment and full coherent calculations for α-SiC and β-Ga₂O₃, indicating the method suits harmonic phonons in most powder samples.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.03095","ref_index":25,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"AI Assistance for Discretionary Work: Increasing Feedback Provision in Higher Education","primary_cat":"cs.HC","submitted_at":"2026-06-02T03:34:17+00:00","verdict":"ACCEPT","verdict_confidence":"MODERATE","novelty_score":7.0,"formal_verification":"none","one_line_summary":"Randomized experiment finds AI draft assistance raises feedback provision by teaching assistants 10.8 percentage points without harming quality.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.02253","ref_index":6,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"CEON: Circular Economy Ontology Network","primary_cat":"cs.AI","submitted_at":"2026-06-01T13:42:45+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":4.0,"formal_verification":"none","one_line_summary":"The authors created CEON, an ontology network defining cross-sectorial concepts for the circular economy to enable semantics-aware data documentation, demonstrated in construction, electronics, and textile sectors.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.00122","ref_index":29,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Mathematical framework for perception-driven parameter choice in image denoising","primary_cat":"eess.IV","submitted_at":"2026-05-28T09:31:37+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":5.0,"formal_verification":"none","one_line_summary":"Authors create psychometrically scaled image sets from human tests on denoised photos and provide a HaarPSI threshold for choosing denoising parameters based on perceived similarity.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2605.28716","ref_index":1,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Eccentric and unbound compact binaries in the LIGO-Virgo-KAGRA catalog: parameter estimation and waveform systematics with SEOBNRv6EHM","primary_cat":"gr-qc","submitted_at":"2026-05-27T16:38:48+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":6.0,"formal_verification":"none","one_line_summary":"SEOBNRv6EHM reduces parameter biases for eccentric binaries versus prior models and shows mild support for eccentricity in five catalog events plus comparable unbound fits for three high-mass events.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2605.28602","ref_index":51,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability","primary_cat":"cs.AI","submitted_at":"2026-05-27T15:18:45+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":7.0,"formal_verification":"none","one_line_summary":"A matched-pair protocol and Accurate Differentiation Rate metric reveal that conventional LLM accuracy on SAT problems is often inflated by over-predicting satisfiability, while cross-representation agreement exceeds 80 percent for most models.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2605.28540","ref_index":55,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Anisotropic magnetism and Kondo-lattice behavior in the frustrated antiferromagnet Ce3MgBi5","primary_cat":"cond-mat.str-el","submitted_at":"2026-05-27T14:33:41+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":6.0,"formal_verification":"none","one_line_summary":"Ce3MgBi5 is a new antiferromagnet in the Ce3MPn5 family exhibiting Kondo-lattice behavior, magnetic anisotropy, and field-induced phase transitions.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2605.28333","ref_index":6,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"High-Quality Multi-Constraint Hypergraph Partitioning via Greedy Rebalancing","primary_cat":"cs.DS","submitted_at":"2026-05-27T11:36:57+00:00","verdict":"CONDITIONAL","verdict_confidence":"LOW","novelty_score":7.0,"formal_verification":"none","one_line_summary":"A new greedy rebalancing algorithm for multi-constraint hypergraphs, integrated into Mt-KaHyPar, reduces geometric mean connectivity by 11.5% versus Metis while improving partition balance reliability.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2605.28187","ref_index":27,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Whose Name Comes Up? III: Persona Prompting Effects in LLM-Based Scholar Recommendation","primary_cat":"cs.IR","submitted_at":"2026-05-27T09:09:30+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":6.0,"formal_verification":"none","one_line_summary":"Audits of 43 LLMs show that varying persona prompts (language, location, role-and-task) and context affects technical quality and social representativeness of scholar recommendations, with location impacting diversity and factuality.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2605.21465","ref_index":14,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Leveraging LLMs for Grammar Adaptation: A Study on Metamodel-Grammar Co-Evolution","primary_cat":"cs.CL","submitted_at":"2026-05-20T17:51:51+00:00","verdict":"CONDITIONAL","verdict_confidence":"LOW","novelty_score":6.0,"formal_verification":"none","one_line_summary":"LLM prompting achieves 100% grammar adaptation consistency on small test DSLs and reuses adaptations across QVTo evolution steps, outperforming rule-based methods, but drops below 90% on large grammars like EAST-ADL.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2605.21425","ref_index":46,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Achieving Material Robustness via Symmetric Stress Finite Element Discretizations","primary_cat":"math.NA","submitted_at":"2026-05-20T17:17:57+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":5.0,"formal_verification":"none","one_line_summary":"Strong enforcement of symmetry in H(div)-conforming finite elements yields material-robust stress approximations independent of the constitutive law, whereas weak enforcement produces arbitrarily poor results even in zero-stress cases with anisotropic laws.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2605.20571","ref_index":26,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Multi-scale flow analysis for scale-aware urban-canopy models","primary_cat":"physics.flu-dyn","submitted_at":"2026-05-20T00:05:44+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":6.0,"formal_verification":"none","one_line_summary":"Identifies morphology-dependent urban heterogeneity scales (~256 m original layout, ~64 m infilled) where resolved and sub-grid flow variability become comparable and tests drag and stress parameterizations for scale-aware urban canopy models.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2605.21532","ref_index":4,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code","primary_cat":"cs.PL","submitted_at":"2026-05-19T21:12:45+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":6.0,"formal_verification":"none","one_line_summary":"The authors define general non-functional rules for C modules, propose an interface contract language, implement a Frama-C checker plugin, and demonstrate verification on two Scania truck codebases alongside ACSL functional contracts.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2605.20497","ref_index":28,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Hypergraph Partitioning on GPU with Distinct Incident Hyperedges and Size Constraints","primary_cat":"cs.DC","submitted_at":"2026-05-19T21:04:20+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":5.0,"formal_verification":"none","one_line_summary":"GPU algorithm for hypergraph partitioning with size and distinct hyperedge constraints achieves 380x speedup and 1.2-2.0x better connectivity than sequential methods.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2605.20331","ref_index":22,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Bowtie VarQTE: A Resource-Efficient Quantum State Preparation Primitive","primary_cat":"quant-ph","submitted_at":"2026-05-19T18:00:03+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":6.0,"formal_verification":"none","one_line_summary":"Bowtie VarQTE is a hybrid classical-quantum variational time evolution method that exploits causal light-cones to reduce quantum resource use for state preparation while achieving fidelities comparable to approximate quantum compilation.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2605.20170","ref_index":17,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"KoRe: Compact Knowledge Representations for Large Language Models","primary_cat":"cs.CL","submitted_at":"2026-05-19T17:53:29+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":6.0,"formal_verification":"none","one_line_summary":"KoRe encodes 1-hop knowledge graph subgraphs as compact discrete tokens for injection into LLMs, achieving competitive benchmark performance with up to 10x token reduction.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2605.19494","ref_index":53,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"High-Throughput Bayesian Optimization of Cement-Salt Hydrates Composites for Seasonal Thermochemical Energy Storage","primary_cat":"cond-mat.mtrl-sci","submitted_at":"2026-05-19T07:48:36+00:00","verdict":"CONDITIONAL","verdict_confidence":"LOW","novelty_score":7.0,"formal_verification":"none","one_line_summary":"Bayesian optimization identifies cement-salt hydrate composites achieving up to five times higher specific energy than prior cement-based TCES materials, with LiCl-based formulations reaching 458 kJ/kg.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2605.18204","ref_index":1,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Forward-Learned Discrete Diffusion: Learning how to noise to denoise faster","primary_cat":"stat.ML","submitted_at":"2026-05-18T10:43:36+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":7.0,"formal_verification":"none","one_line_summary":"FLDD learns non-Markovian marginal and posterior distributions for the forward process so a factorized reverse process can match the target better and produce higher-quality samples in fewer steps.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2605.18005","ref_index":18,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Scalable Decision-Focused Learning through Cost-Sensitive Regression","primary_cat":"cs.LG","submitted_at":"2026-05-18T07:58:26+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":6.0,"formal_verification":"none","one_line_summary":"Reframing decision-focused learning as cost-sensitive multi-output regression with cost-insensitive normalization, decision-aware asymmetric penalization, and instance-based costs enables scalable training with comparable task quality but far fewer optimization solves.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2605.16923","ref_index":12,"ref_count":2,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Neuroscience-inspired Staged Representation Learning with Disentangled Coarse- and Fine-Grained Semantics for EEG Visual Decoding","primary_cat":"cs.CV","submitted_at":"2026-05-16T10:30:33+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":6.0,"formal_verification":"none","one_line_summary":"A neuroscience-inspired staged framework with dual-level semantic disentanglement and semantic latent channels improves EEG visual decoding performance on the THINGS-EEG benchmark under zero-shot settings.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2605.14294","ref_index":21,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","primary_cat":"cs.AI","submitted_at":"2026-05-14T02:55:53+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":6.0,"formal_verification":"none","one_line_summary":"A ReLU-catalyzed abstraction method yields tighter bounds for transformer verification by converting dot-product constraints into ReLU forms that leverage standard convex relaxations.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null}],"limit":50,"offset":0}