Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2104.02899
Cited By
Recognizing and Verifying Mathematical Equations using Multiplicative Differential Neural Units
AAAI Conference on Artificial Intelligence (AAAI), 2021
7 April 2021
A. Mali
Alexander Ororbia
Daniel Kifer
C. Lee Giles
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Recognizing and Verifying Mathematical Equations using Multiplicative Differential Neural Units"
9 / 9 papers shown
Exploring Learnability in Memory-Augmented Recurrent Neural Networks: Precision, Stability, and Empirical Insights
Shrabon Das
Ankur Mali
220
1
0
04 Oct 2024
Investigating Symbolic Capabilities of Large Language Models
Neisarg Dave
Daniel Kifer
C. Lee Giles
A. Mali
ELM
LRM
219
8
0
21 May 2024
RLEEGNet: Integrating Brain-Computer Interfaces with Adaptive AI for Intuitive Responsiveness and High-Accuracy Motor Imagery Classification
Sriram V.C. Nallani
Gautham Ramachandran
198
1
0
09 Feb 2024
Recursion in Recursion: Two-Level Nested Recursion for Length Generalization with Scalability
Jishnu Ray Chowdhury
Cornelia Caragea
301
5
0
08 Nov 2023
On the Computational Complexity and Formal Hierarchy of Second Order Recurrent Neural Networks
A. Mali
Alexander Ororbia
Daniel Kifer
L. Giles
193
9
0
26 Sep 2023
Resurrecting Recurrent Neural Networks for Long Sequences
International Conference on Machine Learning (ICML), 2023
Antonio Orvieto
Samuel L. Smith
Albert Gu
Anushan Fernando
Çağlar Gülçehre
Razvan Pascanu
Soham De
633
464
0
11 Mar 2023
Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules
Steve Kommrusch
Monperrus Martin
L. Pouchet
477
11
0
22 Sep 2021
A Flawed Dataset for Symbolic Equation Verification
E. Davis
136
3
0
24 May 2021
A provably stable neural network Turing Machine
J. Stogin
A. Mali
L. Giles
348
7
0
05 Jun 2020
1
Page 1 of 1
