Conceptio
›
symbolic-computation
Topic
symbolic-computation
Knowledge-graph topic
· documents ABOUT symbolic-computation across the archive
75
Documents about symbolic-computation
Documents about symbolic-computation
Argument-Aware Semantic Alignment of Normative Texts: A Toulmin-Based Neuro-Symbolic Approach
#796761
arXiv (OAI Expanded)
Argument-Aware Semantic Alignment of Normative Texts: A Toulmin-Based Neuro-Symbolic Approach
#798174
arXiv (All)
SPEAR: Distilling Domain-Adaptive Reasoning Skeletons via Sequential Symbolic Alignment in Reinforcement Learning
#822003
arXiv (All)
Quadratization of Autonomous Partial Differential Equations: Algorithmic Solutions
#972418
arXiv (All)
Disentangling Long-Term Memory via Latent Neuro-Symbolic Reasoning
#1034787
arXiv (All)
Refined complexity bounds for rational reconstruction and XGCD through Padé approximants and Cauchy interpolants
#1035021
arXiv (All)
Learning Fast Monomial Orders for Gröbner Basis Computations
#682572
arXiv (OAI Expanded)
Learning Fast Monomial Orders for Gröbner Basis Computations
#684347
arXiv (All)
Where Induction Runs Out: Description-Length Difficulty and the Memorisation Gap in Integer-Sequence Benchmarks
#790183
arXiv (OAI Expanded)
Where Induction Runs Out: Description-Length Difficulty and the Memorisation Gap in Integer-Sequence Benchmarks
#794202
arXiv (All)
ConWriter: Transition-Constrained Stateful Long-Form Story Generation with Lightweight Neuro-Symbolic Consistency Control
#971842
arXiv (All)
GPU-Accelerated Search for Fast Matrix Multiplication over $\mathbb{F}_2$
#1011267
arXiv (All)
On deciding transcendence of power series
#1014505
arXiv (All)
A Forced-Structure Reduction and Verifiable Bounds for Conway's 99-Graph
#1036437
arXiv (All)
Factoring Linear Differential Operators in Positive Characteristic by means of Solving a Norm Equation
#179058
arXiv (OAI)
Factoring Linear Differential Operators in Positive Characteristic by means of Solving a Norm Equation
#179256
arXiv (OAI Expanded)
Factoring Linear Differential Operators in Positive Characteristic by means of Solving a Norm Equation
#179651
arXiv
Factoring Linear Differential Operators in Positive Characteristic by means of Solving a Norm Equation
#180513
arXiv Biology
FinChain: A Symbolic Benchmark for Verifiable Chain-of-Thought Financial Reasoning
#183252
arXiv (OAI)
Leveraging Low-Level Symbolic Competences for Unsupervised Grounding in Hallucination Detection
#971980
arXiv (All)
Correct Diagnosis, Better Feedback: A Symbolic-Verifier for Faithful LLM Tutoring Feedback in Logic Proofs
#1037236
arXiv (All)
Beyond Surface Forms: Symbolic Edits as a Test for Logical Reasoning with LLMs
#798049
arXiv (OAI Expanded)
Beyond Surface Forms: Symbolic Edits as a Test for Logical Reasoning with LLMs
#799472
arXiv (All)
Deciding superellipticity and computing the Weierstrass normal form
#820094
arXiv (All)
The Importance of Being Statistically Earnest: A Critical Re-evaluation of GSM-Symbolic
#820477
arXiv (All)
New bounds for the support of input-output equations in differential-algebraic systems
#926709
arXiv (All)
Maximal rank of $4\times 4\times 4$ and $k\times 4\times 3$ tensors over $\mathbb{F}_2$
#972699
arXiv (All)
Neural Symbollic Regression Using Deep Learning and Sparse Modelling
#984248
arXiv (All)
Observable functions of rational ODE models and how to find them
#987860
arXiv (All)
From Symbolic Perception to Logical Deduction: A Framework for Guiding Language Models in Geometric Reasoning
#997225
arXiv (All)
Diversity of EML-type operators
#998758
arXiv (All)
Quasilinear multiplication in the real Cayley--Dickson tower
#999106
arXiv (All)
LogicTrack: Auditing Reasoning Trajectories of Large Language Models with Formal Logic Solvers
#1035892
arXiv (All)
A Neuro-Symbolic Approach for Reliable Proof Generation with LLMs: A Case Study in Euclidean Geometry
#163134
arXiv (OAI)
Parametric Toricity of Steady State Varieties of Reaction Networks
#617220
arXiv (OAI Expanded)
Parametric Toricity of Steady State Varieties of Reaction Networks
#617720
arXiv (All)
Holographic Invariant Storage: Design-Time Safety Contracts via Vector Symbolic Architectures
#668459
arXiv (OAI Expanded)
Holographic Invariant Storage: Design-Time Safety Contracts via Vector Symbolic Architectures
#670524
arXiv (All)
Reliable Proof Generation with LLMs via Analogical Retrieval and Symbolic Verification: A Case Study in Euclidean Geometry
#797195
arXiv (OAI Expanded)
Reliable Proof Generation with LLMs via Analogical Retrieval and Symbolic Verification: A Case Study in Euclidean Geometry
#798608
arXiv (All)
Degree bounds and synchronization in Gröbner basis computations for affine semi-regular systems
#820141
arXiv (All)
Optimizing Lyapunov Certificates via Stability-Preserving Quadratization for Polynomial Systems
#1013028
arXiv (All)
Computing the convex envelope of bivariate piecewise linear-quadratic functions in linear time
#1013940
arXiv (All)
Physical Law Ecology: mapping multi-mechanism ecologies as the zeroth step of data-driven scientific discovery
#985881
arXiv (All)
An Approximation of Minimax Control using Random Sampling and Symbolic Computation
#308264
HAL (France)
Spectral and combinatorial methods for efficiently computing the rank of unambiguous finite automata
#789505
arXiv (OAI Expanded)
Spectral and combinatorial methods for efficiently computing the rank of unambiguous finite automata
#793509
arXiv (All)
Hamming Ideals and Grobner Bases for ISD-like Syndrome Decoding
#1013023
arXiv (All)
Views: A Hardware-Aware Recursively Labeled Graph Database Model for Knowledge Representation and Reasoning
#1014538
arXiv (All)
Symbolic computation of electron-proton to slepton-squark scattering cross sections based on a left-right supersymmetric extension of the standard model
#1020376
Spectrum: Concordia University Research Repository
← Previous
Page 2 of 3
Next →
Topic record
· derived from the Conceptio knowledge graph (shared subject terms across the corpus)
Conceptio Open Knowledge Archive — topic hubs link to canonical document pages with full provenance.