Boundary-conformal quadrature with closed-form azimuthal coefficients, tangency-based panel splitting, and square-root substitution restores spectral and fourth-order convergence in IITM for convex polyhedra.
hub
Higman’s Lemma and its Computational Content
20 Pith papers cite this work, alongside 174 external citations. Polarity classification is still indexing.
20
Pith papers citing it
174
external citations · OpenAlex
hub tools
citation-role summary
background 4
citation-polarity summary
roles
background 4polarities
background 4representative citing papers
LL-Bench supplies a human-annotated dataset exposing generative model weaknesses in low-level restoration and introduces LL-Score as an MLLM evaluator that outperforms existing quality metrics and can serve as a training reward.
Quantifier rewriting and array non-aliasing specifications in VerCors reduce verification time for data-level parallel programs by an average factor of 9.
Chem-GMNet uses sphere-native embeddings, DualSKA attention, and SH-FFN layers to match or beat ChemBERTa-2 on MoleculeNet tasks with fewer parameters and sometimes no pretraining.
MalTree applies UPGMA and Neighbor-Joining phylogenetic methods to structural, behavioral, and image-based malware embeddings, validates trees against VirusTotal timestamps, and reports 87% temporal consistency with case studies like Mirai.
Isabelle/HOL proofs establish conservation, monotonicity, compartment bounds, and threshold conditions for the SIR ODE by bridging AFP local flows to global forward solutions with reusable scalar lemmas.
A non-interactive time-delayed publicly verifiable scheme for quantum computation compiled from private 2-round protocols via time-lock puzzles and commitments, proven secure in the quantum random oracle model with CRS.
An encoding of Solidity contracts and first-order Hennessy-Milner logic into Lustre enables Kind 2 model checking of complex temporal properties in smart contracts.
Voxtral Realtime is an end-to-end trained streaming ASR model that achieves Whisper-level transcription quality at 480ms delay after scaling pretraining across 13 languages.
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.
Graph metrics from similarity graphs plus active learning on cluster attributes produce a classifier that outperforms prior cluster repair methods on both clean and duplicate-containing datasets.
A hybrid iterative-sequential method identifies linear DAE systems from errors-in-variables data by partial lagged-data stacking and iterative diagonal error-covariance estimation.
Plasma etch recipe produces photonic-grade diamond-on-insulator films from bonded SCD membranes and enables 5 nm resolution thickness mapping via colorimetry on standard microscope images.
An adaptive CFD-POD-DL surrogate framework with online divergence-aware monitoring and event-triggered retraining achieves ~92x speedup for 3D cylinder wake prediction while adapting to regime changes.
The first release of the Foundations of Software Languages ontology (FSL V1) organizes categories, concepts, tools, and formal foundations of software languages to support computer science education.
Off-street parking causally increases EV adoption probability by 2.3 percentage points but mainly accelerates higher-income households, while income acts as the primary gatekeeper to EV ownership.
A UEFI system with SPDM authenticates connected devices and restricts them to allowed ones, with emulation showing 13% more instructions and 8% more CPU cycles during boot.
Formalizes Bézout's identity, FTA, and Fermat factorization in Minlog with program extraction to Haskell, comparing binary vs unary encodings for performance.
RAMSES integrates commercial encryption technologies and OS hardening into an HPC platform to enable secure sensitive-data processing with limited performance overhead, as shown by biomedical-sector benchmarks.
Global completion of Maxwell-type higher gauge fields is achieved by flux quantization in differential nonabelian cohomology, with applications to M-theory, type IIA supergravity, and M5-brane anyons.
citing papers explorer
-
Boundary-conformal integration for the invariant-imbedding T-matrix method: high-order convergence for faceted particles
Boundary-conformal quadrature with closed-form azimuthal coefficients, tangency-based panel splitting, and square-root substitution restores spectral and fourth-order convergence in IITM for convex polyhedra.
-
LL-Bench: Rethinking Low-Level Vision Evaluation in the Era of Large-Scale Generative Models
LL-Bench supplies a human-annotated dataset exposing generative model weaknesses in low-level restoration and introduces LL-Score as an MLLM evaluator that outperforms existing quality metrics and can serve as a training reward.
-
Scalable Deductive Verification of Data-Level Parallel Programs
Quantifier rewriting and array non-aliasing specifications in VerCors reduce verification time for data-level parallel programs by an average factor of 9.
-
Chem-GMNet: A Sphere-Native Geometric Transformer for Molecular Property Prediction
Chem-GMNet uses sphere-native embeddings, DualSKA attention, and SH-FFN layers to match or beat ChemBERTa-2 on MoleculeNet tasks with fewer parameters and sometimes no pretraining.
-
MalTree: Tracing Malware Evolution from Embeddings at Scale
MalTree applies UPGMA and Neighbor-Joining phylogenetic methods to structural, behavioral, and image-based malware embeddings, validates trees against VirusTotal timestamps, and reports 87% temporal consistency with case studies like Mirai.
-
Certified Qualitative Analysis of the SIR ODE and Reusable Scalar Lemmas in Isabelle/HOL
Isabelle/HOL proofs establish conservation, monotonicity, compartment bounds, and threshold conditions for the SIR ODE by bridging AFP local flows to global forward solutions with reusable scalar lemmas.
-
Time-Delayed Publicly Verifiable Quantum Computation for Classical Verifiers
A non-interactive time-delayed publicly verifiable scheme for quantum computation compiled from private 2-round protocols via time-lock puzzles and commitments, proven secure in the quantum random oracle model with CRS.
-
KindHML: formal verification of smart contracts based on Hennessy-Milner logic
An encoding of Solidity contracts and first-order Hennessy-Milner logic into Lustre enables Kind 2 model checking of complex temporal properties in smart contracts.
-
Voxtral Realtime
Voxtral Realtime is an end-to-end trained streaming ASR model that achieves Whisper-level transcription quality at 480ms delay after scaling pretraining across 13 languages.
-
Agentic Inequality
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.
-
Graph-based Active Learning for Entity Cluster Repair
Graph metrics from similarity graphs plus active learning on cluster attributes produce a classifier that outperforms prior cluster repair methods on both clean and duplicate-containing datasets.
-
DISPCA : A hybrid iterative-sequential approach for the identification of errors-in-variables model of linear DAE systems
A hybrid iterative-sequential method identifies linear DAE systems from errors-in-variables data by partial lagged-data stacking and iterative diagonal error-covariance estimation.
-
Plasma Etch Process Optimization for Photonic-Grade Diamond-on-Insulator Substrates and Thickness Evaluation using Colorimetry
Plasma etch recipe produces photonic-grade diamond-on-insulator films from bonded SCD membranes and enables 5 nm resolution thickness mapping via colorimetry on standard microscope images.
-
Divergence-aware adaptive prediction framework for accelerating CFD simulations of unsteady flows
An adaptive CFD-POD-DL surrogate framework with online divergence-aware monitoring and event-triggered retraining achieves ~92x speedup for 3D cylinder wake prediction while adapting to regime changes.
-
Towards an Ontology for the Foundations of Software Languages
The first release of the Foundations of Software Languages ontology (FSL V1) organizes categories, concepts, tools, and formal foundations of software languages to support computer science education.
-
The causal relation between off-street parking and electric vehicle adoption in Scotland
Off-street parking causally increases EV adoption probability by 2.3 percentage points but mainly accelerates higher-income households, while income acts as the primary gatekeeper to EV ownership.
-
A UEFI System with SPDM to Protect Against Unauthorized Device Connections
A UEFI system with SPDM authenticates connected devices and restricts them to allowed ones, with emulation showing 13% more instructions and 8% more CPU cycles during boot.
-
Verified Program Extraction in Number Theory: The Fundamental Theorem of Arithmetic and Relatives
Formalizes Bézout's identity, FTA, and Fermat factorization in Minlog with program extraction to Haskell, comparing binary vs unary encodings for performance.
-
RAMSES: Secure high-performance computing for sensitive data
RAMSES integrates commercial encryption technologies and OS hardening into an HPC platform to enable secure sensitive-data processing with limited performance overhead, as shown by biomedical-sector benchmarks.
-
Higher Gauge Theory via Differential Nonabelian Cohomology
Global completion of Maxwell-type higher gauge fields is achieved by flux quantization in differential nonabelian cohomology, with applications to M-theory, type IIA supergravity, and M5-brane anyons.