Fetching the paper…
Reading the bibliography…
We introduce SymbolicAI, a versatile and modular framework employing a logic-based approach to concept learning and flow management in generative processes.
Principia Mathematica
A. N. Whitehead and B. Russell · 1927
Earlier work this paper cites.
A Logical Calculus of Ideas Immanent in Nervous Activity
W. S. McCulloch and W. Pitts · 1943
Earlier work this paper cites.
Three models for the description of language
N. Chomsky · 1956
Earlier work this paper cites.
The logic theory machine–a complex information processing system
A. Newell and H. Simon · 1956
Earlier work this paper cites.
Empirical explorations of the logic theory machine: a case study in heuristic
A. Newell, J. C. Shaw, and H. A. Simon · 1957
Earlier work this paper cites.
The perceptron: A probabilistic model for information storage and organization in the brain
F. Rosenblatt · 1958
Earlier work this paper cites.
Lisp: A programming system for symbolic manipulations
J. McCarthy · 1959
Earlier work this paper cites.
Dendral, 1965
E. Feigenbaum, B. G. Buchanan, J. Lederberg, Carl Djerassi, and et al · 1965
Earlier work this paper cites.
Contextual prerequisites for understanding: Some investigations of comprehension and recall
J. D. Bransford and M. K. Johnson · 1972
Earlier work this paper cites.
Human problem solving
A. Newell and H. A. Simon · 1972
Earlier work this paper cites.
Computer science as empirical inquiry: symbols and search
A. Newell and H. A. Simon · 1976
Earlier work this paper cites.
The fréchet distance between multivariate normal distributions
D. C. Dowson and B. V. Landau · 1982
Earlier work this paper cites.
Temporal Credit Assignment in Reinforcement Learning
R. S. Sutton · 1984
Earlier work this paper cites.
Learning representations by back-propagating errors
D. Rumelhart, G. Hinton, and R. Williams · 1986
Earlier work this paper cites.
Soar: An architecture for general intelligence
J. E. Laird, A. Newell, and P. S. Rosenbloom · 1987
Earlier work this paper cites.
Multilayer feedforward networks are universal approximators
K. Hornik, M. Tinchcombe, and H. White · 1989
Earlier work this paper cites.
Unified Theories of Cognition
A. Newell · 1990
Earlier work this paper cites.
Real patterns
D. C. Dennett · 1991
Earlier work this paper cites.
Hybrid systems: the equivalence of rule-based expert system and artificial neural network inference
D. C. Kuncicky, S. I. Hruska, and R. C. Lacher · 1991
Earlier work this paper cites.
Hilog: A foundation for higher-order logic programming
W. Chen, M. Kifer, and D. S. Warren · 1993
Earlier work this paper cites.
The birth of Prolog
A. Colmerauer and P. Roussel · 1993
Earlier work this paper cites.
Applying formal verification methods to rule-based programs
R. F. Gamble, G.-C. Roman, H. C. Cunningham, and W. E. Ball · 1994
Earlier work this paper cites.
Flat minima
S. Hochreiter and J. Schmidhuber · 1997
Earlier work this paper cites.
Neural systems underlying british sign language and audio-visual english processing in native users
M. Macsweeney · 2002
Earlier work this paper cites.
Bleu: a method for automatic evaluation of machine translation
K. Papineni, S. Roukos, T. Ward, and W.-J. Zhu · 2002
Earlier work this paper cites.
Python Cookbook
A. Martelli, A. Ravenscroft, and D. Ascher · 2005
Earlier work this paper cites.
Cognitive architectures: Research issues and challenges
P. Langley, J. Laird, and S. Rogers · 2006
Earlier work this paper cites.
A proposal for the dartmouth summer research project on artificial intelligence, august 31, 1955
J. McCarthy, M. L. Minsky, N. Rochester, and C. E. Shannon · 2006
Earlier work this paper cites.
Gödel machines: Fully self-referential optimal universal self-improvers
J. Schmidhuber · 2007
Earlier work this paper cites.
TAMER: Training an Agent Manually via Evaluative Reinforcement
W. Bradley Knox and Peter Stone · 2008
Earlier work this paper cites.
Z3: an efficient smt solver
L. De Moura and N. Bjørner · 2008
Earlier work this paper cites.
Python Essential Reference
D.M. Beazley · 2009
Earlier work this paper cites.
J. Schmidhuber · 2009
Earlier work this paper cites.
New method for fMRI investigations of language: Defining rois functionally in individual subjects
E. Fedorenko, P.-J. Hsieh, A. Nieto-Castanon, S. Whitfield-Gabrieli, and N. Kanwisher · 2010
Earlier work this paper cites.
Programming in Python 3: A Complete Introduction to the Python Language
M. Summerfield · 2010
Earlier work this paper cites.
Neuromorphic silicon neuron circuits
G. Indiveri, B. Linares-Barranco, T. Hamilton, A. van Schaik, R. Etienne-Cummings, T. Delbruck, S. Liu, P. Dudek, P. HÀfliger, S. Renaud, J. Schemmel, G. Cauwenberghs, J. Arthur, K. Hynna, F. Folowosele, S. SAà GHI, T. Serrano-Gotarredona, J. Wijekoon, Y. Wang, and K. Boahen · 2011
Earlier work this paper cites.
Shared language: Overlap and segregation of the neuronal infrastructure for speaking and listening revealed by functional mri
L. Menenti, S. M. E. Gierhan, K. Segaert, and P. Hagoort · 2011
Earlier work this paper cites.
A kernel two-sample test
A. Gretton, K. M. Borgwardt, M. J. Rasch, B. Schölkopf, and A. Smola · 2012
Earlier work this paper cites.
Learning Python: Powerful Object-Oriented Programming
M. Lutz · 2013
Earlier work this paper cites.
Selective and invariant neural responses to spoken and written narratives
M. Regev, C. J. Honey, E. Simony, and U. Hasson · 2013
Earlier work this paper cites.
Cider: Consensus-based image description evaluation
Ramakrishna Vedantam, C. Lawrence Zitnick, and Devi Parikh · 2014
Earlier work this paper cites.
Neural-symbolic learning and reasoning: Contributions and challenges
A. Garcez, T. Besold, L. De Raedt, P. Földiák, P. Hitzler, T. Icard, K. Kühnberger, L. Lamb, R. Miikkulainen, and D. Silver · 2015
Earlier work this paper cites.
SPICE: semantic propositional image caption evaluation
Peter Anderson, Basura Fernando, Mark Johnson, and Stephen Gould · 2016
Earlier work this paper cites.
Harnessing deep neural networks with logic rules
Z. Hu, X. Ma, Z. Liu, E. Hovy, and E. Xing · 2016
Earlier work this paper cites.
Natural speech reveals the semantic maps that tile human cerebral cortex
A. G. Huth, W. A. de Heer, T. L. Griffiths, F. E. Theunissen, and J. L. Gallant · 2016
Earlier work this paper cites.
Wavenet: A generative model for raw audio
A. v. d. Oord, S. Dieleman, H. Zen, K. Simonyan, O. Vinyals, A. Graves, N. Kalchbrenner, A. Senior, and K. Kavukcuoglu · 2016
Earlier work this paper cites.
Pushing the Boundaries of AI to Talk to the Dead
ReplikaAI · 2016
Earlier work this paper cites.
A new fun and robust version of an fMRI localizer for the frontotemporal language system
T. Scott, J. Gallée, and E. Fedorenko · 2016
Earlier work this paper cites.
Mastering the game of Go with deep neural networks and tree search
D. Silver, A. Huang, C. J. Maddison, A. Guez, L. Sifre, G. van den Driessche, J. Schrittwieser, I. Antonoglou, V. Panneershelvam, M. Lanctot, S. Dieleman, D. Grewe, J. Nham, N. Kalchbrenner, I. Sutskever, T. P. Lillicrap, M. Leach, K. Kavukcuoglu, T. Graepel, and D. Hassabis · 2016
Earlier work this paper cites.
Learning theory for distribution regression
Z. Szabó, B. K. Sriperumbudur, B. Póczos, and A. Gretton · 2016
Earlier work this paper cites.
Neural-symbolic learning and reasoning: A survey and interpretation, 2017
T. R. Besold, A. d. Garcez, S. Bader, H. Bowman, P. Domingos, P. Hitzler, K.-U. Kuehnberger, L. C. Lamb, D. Lowd, P. M. V. Lima, L. de Penning, G. Pinkas, H. Poon, and G. Zaverucha · 2017
Earlier work this paper cites.
Deep reinforcement learning from human preferences
P. F. Christiano, J. Leike, T. Brown, M. Martic, S. Legg, and D. Amodei · 2017
Earlier work this paper cites.
Logic tensor networks for semantic image interpretation
I. Donadello, L. Serafini, and A. d’Avila Garcez · 2017
Earlier work this paper cites.
Paper2vec: Combining graph and text information for scientific paper representation
S. Ganguly and V. Pudi · 2017
Earlier work this paper cites.
Gans trained by a two time-scale update rule converge to a local nash equilibrium
M. Heusel, H. Ramsauer, T. Unterthiner, B. Nessler, and S. Hochreiter · 2017
Earlier work this paper cites.
Software 2.0
A. Karpathy · 2017
Earlier work this paper cites.
Interactive Learning from Policy-Dependent Human Feedback
J. MacGlashan, M. K. Ho, R. Loftin, B. Peng, G. Wang, D. L. Roberts, M. E. Taylor, and M. L. Littman · 2017
Earlier work this paper cites.
Approximate Nearest Neighbors Oh Yeah
Spotify · 2017
Earlier work this paper cites.
Attention is all you need
A. Vaswani, N. Shazeer, N. Parmar, J. Uszkoreit, L. Jones, A. N. Gomez, L. Kaiser, and I. Polosukhin · 2017
Earlier work this paper cites.
Tacotron: Towards end-to-end speech synthesis
Y. Wang, R.J. Skerry-Ryan, D. Stanton, Y. Wu, R. J. Weiss, N. Jaitly, Z. Yang, Y. Xiao, Z. Chen, S. Bengio, et al · 2017
Cited alongside, same era.
The history began from alexnet: A comprehensive survey on deep learning approaches
M. Z. Alom, T. M. Taha, C. Yakopcic, S. Westberg, P. Sidike, M. S. Nasrin, B. C. Van Esesn, A. A. S. Awwal, and V. K. Asari · 2018
Cited alongside, same era.
Reward learning from human preferences and demonstrations in atari
B. Ibarz, J. Leike, T. Pohlen, G. Irving, S. Legg, and D. Amodei · 2018
Cited alongside, same era.
DeepProbLog: Neural Probabilistic Logic Programming
R. Manhaeve, S. Dumancic, A. Kimmig, T. Demeester, and L. De Raedt · 2018
Cited alongside, same era.
Meta-gradient reinforcement learning
Z. Xu, H. van Hasselt, and D. Silver · 2018
Cited alongside, same era.
Symbolic behaviour in artificial intelligence
A. Santoro, A. Lampinen, K. Mathewson, T. Lillicrap, and D. Raposo · 2022
Later among the works it cites.
A dataset perspective on offline reinforcement learning
K. Schweighofer, A. Radler, M.-C. Dinu, M. Hofmarcher, V. P. Patil, A. Bitto-Nemling, H. Eghbal-zadeh, and S. Hochreiter · 2022
Later among the works it cites.
Make-a-video: Text-to-video generation without text-video data
U. Singer, A. Polyak, T. Hayes, X. Yin, J. An, S. Zhang, Q. Hu, H. Yang, O. Ashual, O. Gafni, et al · 2022
Later among the works it cites.
Neurosymbolic programming for science
J. J. Sun, M. Tjandrasuwita, A. Sehgal, A. Solar-Lezama, S. Chaudhuri, Y. Yue, and O. Costilla-Reyes · 2022
Later among the works it cites.
Comparing model-free and model-based algorithms for offline reinforcement learning
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
RUDDER: return decomposition for delayed rewards
J. A. Arjona-Medina, M. Gillhofer, M. Widrich, T. Unterthiner, J. Brandstetter, and S. Hochreiter · 2019
Cited alongside, same era.
On the measure of intelligence, 2019
F. Chollet · 2019
Cited alongside, same era.
Neural-symbolic computing: An effective methodology for principled integration of machine learning and reasoning
A. d’Avila Garcez, M. Gori, L. C. Lamb, L. Serafini, M. Spranger, and S. N. Tran · 2019
Cited alongside, same era.
The representation of semantic information across human cerebral cortex during listening versus reading is invariant to stimulus modality
F. Deniz, A. O. Nunez-Elizalde, A. G. Huth, and J. L. Gallant · 2019
Cited alongside, same era.
Billion-scale similarity search with GPUs
J. Johnson, M. Douze, and H. Jégou · 2019
Cited alongside, same era.
The neuro-symbolic concept learner: Interpreting scenes, words, and sentences from natural supervision
J. Mao, C. Gan, P. Kohli, J. B. Tenenbaum, and J. Wu · 2019
Cited alongside, same era.
Pytorch: An imperative style, high-performance deep learning library
A. Paszke, S. Gross, F. Massa, A. Lerer, J. Bradbury, G. Chanan, T. Killeen, Z. Lin, N. Gimelshein, L. Antiga, A. Desmaison, A. Köpf, E. Z. Yang, Z. DeVito, M. Raison, A. Tejani, S. Chilamkurthy, B. Steiner, L. Fang, J. Bai, and S. Chintala · 2019
Cited alongside, same era.
P. Swazinna, S. Udluft, D. Hein, and T. Runkler · 2022
Later among the works it cites.
Self-instruct: Aligning language model with self generated instructions
Y. Wang, Y. Kordi, S. Mishra, A. Liu, N. A. Smith, D. Khashabi, and H. Hajishirzi · 2022
Later among the works it cites.
ChatGPT Alternative Built With Superpowers - ChatSonic
Writesonic · 2022
Later among the works it cites.
The AI Search Engine You Control
YouWrite · 2022
Later among the works it cites.
Language agents as optimizable graphs, 2024
M. Zhuge, W. Wang, L. Kirsch, F. Faccio, D. Khizbullin, and J. Schmidhuber · 2022
Later among the works it cites.
Voyager – an innovative computational resource for artificial intelligence & machine learning applications in science and engineering
R. E. Amaro, J.-Y. Chen, J. M. Duarte, T. E. Hutton, C. Irving, M. C. Kandes, A. Majumdar, D. Y. Mishin, M. H. Nguyen, P. Rodriguez, F. Silva, R. S. Sinkovits, S. M. Strande, M. Tatineni, L. S. Tran, and N. Wolter · 2023
Later among the works it cites.
Self-supervised learning from images with a joint-embedding predictive architecture
M. Assran, Q. Duval, I. Misra, P. Bojanowski, P. Vincent, M. Rabbat, Y. LeCun, and N. Ballas · 2023
Later among the works it cites.
Graph of thoughts: Solving elaborate problems with large language models
M. Besta, N. Blach, A. Kubicek, R. Gerstenberger, L. Gianinazzi, J. Gajda, T. Lehmann, M. Podstawski, H. Niewiadomski, P. Nyczyk, and T. Hoefler · 2023
Later among the works it cites.
Pythia: A suite for analyzing large language models across training and scaling, 2023
S. Biderman, H. Schoelkopf, Q. Anthony, H. Bradley, K. O’Brien, E. Hallahan, M. Aflah Khan, S. Purohit, S. Prashanth, E. Raff, A. Skowron, L. Sutawika, and O. van der Wal · 2023
Later among the works it cites.
LangChain
H. Chase · 2023
Later among the works it cites.
Introduction to latent variable energy-based models: A path towards autonomous machine intelligence
A. Dawid and Y. LeCun · 2023
Later among the works it cites.
Addressing parameter choice issues in unsupervised domain adaptation by aggregation
M.-C. Dinu, M. Holzleitner, M. Beck, H. D. Nguyen, A. Huber, H. Eghbal-zadeh, B. A. Moser, S. V. Pereverzyev, S. Hochreiter, and W. Zellinger · 2023
Later among the works it cites.
Human-like few-shot learning via bayesian reasoning over natural language
Kevin Ellis · 2023
Later among the works it cites.
Promptbreeder: Self-referential self-improvement via prompt evolution
C. Fernando, D. Banarse, H. Michalewski, S. Osindero, and T. Rocktäschel · 2023
Later among the works it cites.
Retrieval-augmented generation for large language models: A survey
Y. Gao, Y. Xiong, X. Gao, K. Jia, J. Pan, Y. Bi, Y. Dai, J. Sun, and H. Wang · 2023
Later among the works it cites.
Koala: A dialogue model for academic research
X. Geng, A. Gudibande, H. Liu, E. Wallace, P. Abbeel, S. Levine, and D. Song · 2023
Later among the works it cites.
Gemini: A family of highly capable multimodal models
Google · 2023
Later among the works it cites.
Mamba: Linear-time sequence modeling with selective state spaces
A. Gu and T. Dao · 2023
Later among the works it cites.
A. Q. Jiang, A. Sablayrolles, A. Mensch, C. Bamford, D. S. Chaplot, D. de las Casas, F. Bressand, G. Lengyel, G. Lample, L. Saulnier, L. R. Lavaud, M.-A. Lachaux, P. Stock, T. Le Scao, T. Lavril, T. Wang, T. Lacroix, and W. El Sayed · 2023
Later among the works it cites.
Gateloop: Fully data-controlled linear recurrence for sequence modeling
T. Katsch · 2023
Later among the works it cites.
Toward trustworthy neural program synthesis
D. Key, W.-D. Li, and K. Ellis · 2023
Later among the works it cites.
Language models can solve computer tasks, 2023
G. Kim, P. Baldi, and S. McAleer · 2023
Later among the works it cites.
Openassistant conversations – democratizing large language model alignment, 2023
A. Köpf, Y. Kilcher, D. von Rütte, S. Anagnostidis, Z.-R. Tam, K. Stevens, A. Barhoum, N. M. Duc, O. Stanley, R. Nagyfi, S. ES, S. Suri, D. Glushkov, A. Dantuluri, A. Maguire, C. Schuhmann, H. Nguyen, and A. Mattick · 2023
Later among the works it cites.
Causal Reasoning and Large Language Models: Opening a New Frontier for Causality
E. Kıcıman, R. Ness, A. Sharma, and C. Tan · 2023
Later among the works it cites.
A theory of continuous generative flow networks
S. Lahlou, T. Deleu, P. Lemos, D. Zhang, A. Volokhova, A. Hernández-García, L. N. Ezzine, Y. Bengio, and N. Malkin · 2023
Later among the works it cites.
Reinforcement learning with human feedback: Learning dynamic choices via pessimism
Z. Li, Z. Yang, and M. Wang · 2023
Later among the works it cites.
Lost in the middle: How language models use long contexts
N. F. Liu, K. Lin, J. Hewitt, A. Paranjape, M. Bevilacqua, F. Petroni, and P. Liang · 2023
Later among the works it cites.
Faithful chain-of-thought reasoning, 2023
Q. Lyu, S. Havaldar, A. Stein, L. Zhang, D. Rao, E. Wong, M. Apidianaki, and C. Callison-Burch · 2023
Later among the works it cites.
Self-refine: Iterative refinement with self-feedback, 2023
A. Madaan, N. Tandon, P. Gupta, S. Hallinan, L. Gao, S. Wiegreffe, U. Alon, N. Dziri, S. Prabhumoye, Y. Yang, S. Welleck, B. P. Majumder, S. Gupta, A. Yazdanbakhsh, and P. Clark · 2023
Later among the works it cites.
Dissociating language and thought in large language models: a cognitive perspective
K. Mahowald, A. A. Ivanova, I. A. Blank, N. Kanwisher, J. B. Tenenbaum, and E. Fedorenko · 2023
Later among the works it cites.
Bing is your AI-powered copilot for the web
Microsoft · 2023
Later among the works it cites.
Can generalist foundation models outcompete special-purpose tuning? case study in medicine
H. Nori, Y. T. Lee, S. Zhang, D. Carignan, R. Edgar, N. Fusi, N. King, J. Larson, Y. Li, W. Liu, R. Luo, S. M. McKinney, R. O. Ness, H. Poon, T. Qin, N. Usuyama, C. White, and E. Horvitz · 2023
Later among the works it cites.
GPT-4 Technical Report
OpenAI · 2023
Later among the works it cites.
Semantic helm: An interpretable memory for reinforcement learning
F. Paischer, T. Adler, M. Hofmarcher, and S. Hochreiter · 2023
Later among the works it cites.
Bridging the domain gap by clustering-based image-text graph matching
N. Park, D. Chae, J. Shim, S. Kim, E.-S. Kim, and J. Kim · 2023
Later among the works it cites.
Boosted prompt ensembles for large language models, 2023
S. Pitis, M. R. Zhang, A. Wang, and J. Ba · 2023
Later among the works it cites.
Hyena hierarchy: Towards larger convolutional language models
M. Poli, S. Massaroli, E. Nguyen, D. Y. Fu, T. Dao, S. Baccus, Y. Bengio, S. Ermon, and C. Ré · 2023
Later among the works it cites.
Direct preference optimization: Your language model is secretly a reward model
R. Rafailov, A. Sharma, E. Mitchell, S. Ermon, C. D. Manning, and C. Finn · 2023
Later among the works it cites.
Mathematical discoveries from program search with large language models
B. Romera-Paredes, M. Barekatain, A. Novikov, et al · 2023
Later among the works it cites.
Toolformer: Language models can teach themselves to use tools, 2023
T. Schick, J. Dwivedi-Yu, R. Dessì, R. Raileanu, M. Lomeli, L. Zettlemoyer, N. Cancedda, and T. Scialom · 2023
Later among the works it cites.
Reflexion: an autonomous agent with dynamic memory and self-reflection, 2023
N. Shinn, B. Labash, and A. Gopinath · 2023
Later among the works it cites.
Large language models encode clinical knowledge
K. Singhal, S. Azizi, T. Tu, S. S. Mahdavi, J. Wei, H. W. Chung, N. Scales, et al · 2023
Later among the works it cites.
Cognitive architectures for language agents
T. R. Sumers, S. Yao, K. Narasimhan, and T. L. Griffiths · 2023
Later among the works it cites.
Stanford alpaca: An instruction-following llama model
R. Taori, I. Gulrajani, T. Zhang, Y. Dubois, X. Li, C. Guestrin, P. Liang, and T. B. Hashimoto · 2023
Later among the works it cites.
Llama: Open and efficient foundation language models, 2023
H. Touvron, T. Lavril, G. Izacard, X. Martinet, M.-A. Lachaux, T. Lacroix, B. Rozière, N. Goyal, E. Hambro, F. Azhar, A. Rodriguez, A. Joulin, E. Grave, and G. Lample · 2023
Later among the works it cites.
Zephyr: Direct distillation of lm alignment, 2023
L. Tunstall, E. Beeching, N. Lambert, N. Rajani, K. Rasul, Y. Belkada, S. Huang, L. von Werra, C. Fourrier, N. Habib, N. Sarrazin, O. Sanseviero, A. M. Rush, and T. Wolf · 2023
Later among the works it cites.
Large language models are better reasoners with self-verification
Y. Weng, M. Zhu, F. Xia, B. Li, S. He, S. Liu, B. Sun, K. Liu, and J. Zhao · 2023
Later among the works it cites.
Baize: An open-source chat model with parameter-efficient tuning on self-chat data, 2023
C. Xu, D. Guo, N. Duan, and J. McAuley · 2023
Later among the works it cites.
Supervised Knowledge Makes Large Language Models Better In-context Learners
L. Yang, S. Zhang, Z. Yu, G. Bao, Y. Wang, J. Wang, R. Xu, W. Ye, X. Xie, W. Chen, and Y. Zhang · 2023
Later among the works it cites.
Compositional exemplars for in-context learning
J. Ye, Z. Wu, J. Feng, T. Yu, and L. Kong · 2023
Later among the works it cites.
A survey on neural-symbolic learning systems
D. Yu, B. Yang, D. Liu, H. Wang, and S. Pan · 2023
Later among the works it cites.
xlstm: Extended long short-term memory, 2024
M. Beck, K. Pöppel, M. Spanring, A. Auer, O. Prudnikova, M. Kopp, G. Klambauer, J. Brandstetter, and S. Hochreiter · 2024
Closest in time.
Large language models are neurosymbolic reasoners
M. Fang, S. Deng, Y. Zhang, Z. Shi, L. Chen, M. Pechenizkiy, and J. Wang · 2024
Closest in time.
Self-rewarding language models
W. Yuan, R. Y. Pang, K. Cho, S. Sukhbaatar, J. Xu, and J. Weston · 2024
Closest in time.