Generating correctness proofs with neural networks

Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages ◽

10.1145/3394450.3397466 ◽

2020 ◽

Author(s):

Alex Sanchez-Stern ◽

Yousef Alhessi ◽

Lawrence Saul ◽

Sorin Lerner

Keyword(s):

Neural Networks ◽

Correctness Proofs

Download Full-text

Determination of S-N curves with the application of artificial neural networks

Fatigue & Fracture of Engineering Materials & Structures ◽

10.1046/j.1460-2695.1999.00198.x ◽

1999 ◽

Vol 22 (8) ◽

pp. 723-728 ◽

Author(s):

Artymiak ◽

Bukowski ◽

Feliks ◽

Narberhaus ◽

Zenner

Keyword(s):

Neural Networks ◽

Artificial Neural Networks ◽

Artificial Neural

Download Full-text

Review of Pattern Recognition by Self-Organizing Neural Networks.

Contemporary Psychology ◽

10.1037/004153 ◽

1995 ◽

Vol 40 (11) ◽

pp. 1110-1110

Author(s):

Stephen James Thomas

Keyword(s):

Neural Networks ◽

Pattern Recognition ◽

Self Organizing

Download Full-text

Supplemental Material for Neural Networks Learn Highly Selective Representations in Order to Overcome the Superposition Catastrophe

Psychological Review ◽

10.1037/a0035943.supp ◽

2014 ◽

Keyword(s):

Neural Networks

Download Full-text

Temporal processing with neural networks

PsycEXTRA Dataset ◽

10.1037/e443612005-001 ◽

1998 ◽

Author(s):

Jeffrey L. Elman

Keyword(s):

Neural Networks ◽

Temporal Processing

Download Full-text

Recording and Analysis of Biological Neural Networks

PsycEXTRA Dataset ◽

10.1037/e443872005-001 ◽

1998 ◽

Author(s):

Howard Eichenbaum ◽

Keyword(s):

Neural Networks ◽

Biological Neural Networks

Download Full-text

Applications of artificial neural networks to adaptive training systems.

PsycEXTRA Dataset ◽

10.1037/e456072004-001 ◽

1992 ◽

Author(s):

Peter L. Rothman

Keyword(s):

Neural Networks ◽

Artificial Neural Networks ◽

Adaptive Training ◽

Training Systems ◽

Artificial Neural

Download Full-text

Holographic Neural Networks

PsycEXTRA Dataset ◽

10.1037/e527342012-790 ◽

2007 ◽

Author(s):

Michael N. Jones

Keyword(s):

Neural Networks

Download Full-text

Applications of Neural Networks to Adaptive Training Networks

PsycEXTRA Dataset ◽

10.1037/e540182011-001 ◽

1992 ◽

Author(s):

Peter L. Rothman

Keyword(s):

Neural Networks ◽

Adaptive Training

Download Full-text

Dynamics of Neural Networks Under External Periodic Influence

PsycEXTRA Dataset ◽

10.1037/e624322011-001 ◽

2002 ◽

Author(s):

Atin Das

Keyword(s):

Neural Networks

Download Full-text

Use of Artificial Neural Networks for Risk Assessment for Work and Organizational Issues

PsycEXTRA Dataset ◽

10.1037/e666722007-001 ◽

2006 ◽

Author(s):

Maria Karanika ◽

Tom Cox

Keyword(s):

Neural Networks ◽

Risk Assessment ◽

Artificial Neural Networks ◽

Organizational Issues ◽

Artificial Neural

Download Full-text