Showing 1–20 of 38 results
/ Date/ Name
Apr 24, 2026A Probabilistic Framework for Hierarchical Goal RecognitionApr 23, 2026A general optimization solver based on OP-to-MaxSAT reductionApr 10, 2026Scalable High-Recall Constraint-Satisfaction-Based Information Retrieval for Clinical Trials MatchingMar 19, 2026A more accurate rational non-commutative algorithm for multiplying 4x4 matrices using 48 multiplicationsMar 17, 2026A complexity analysis of the F4 Gröbner basis algorithm with tracer dataMar 16, 2026Introducing the vfunc R packageMar 10, 2026Symbolic Discovery of Stochastic Differential Equations with Genetic ProgrammingMar 5, 2026Distilling Formal Logic into Neural Spaces: A Kernel Alignment Approach for Signal Temporal LogicJun 24, 2025Towards automated generation of fast and accurate algorithms for recursive matrix multiplicationFeb 15, 2024Fast interpolation and multiplication of unbalanced polynomialsSep 5, 2023Cognitive Architectures for Language AgentsJul 24, 2023In-place accumulation of fast multiplication formulaeFeb 24, 2022Random primes without primality testingFeb 16, 2022Sparse Polynomial Interpolation and Division in Soft-linear TimeFeb 12, 2022Random primes in arithmetic progressionsFeb 9, 2021On exact division and divisibility testing for sparse polynomialsJan 6, 2021Polynomial modular product verification and its implicationsFeb 24, 2020Fast In-place Algorithms for Polynomial Operations: Division, Evaluation, InterpolationJan 31, 2020Essentially Optimal Sparse Polynomial MultiplicationMay 24, 2019New ways to multiply 3 x 3-matrices