brozek/website
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/website.git synced 2024-11-22 08:16:29 -05:00
Code Issues Projects Releases Packages Wiki Activity

Corrected year

Browse source
This commit is contained in:
Brandon Rozek 2023-08-03 14:31:10 -04:00
parent 12758f1d1b
commit 68591bd2ec
No known key found for this signature in database
GPG key ID: 26E457DA82C9F480
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
content/publications.md
View file

@ -15,7 +15,7 @@ Parallel Verification of Natural Deduction Proof Graphs
[The M Cognitive Meta-architecture as Touchstone for Standard Modeling of AGI-Level Minds](/paper/2305.01) [The M Cognitive Meta-architecture as Touchstone for Standard Modeling of AGI-Level Minds](/paper/2305.01)
- Authors: S Bringsjord, JT Oswald, M Giancola, *B Rozek*, NS Govindarajulu - Authors: S Bringsjord, JT Oswald, M Giancola, *B Rozek*, NS Govindarajulu
- Venue: International Conference on Artificial General Intelligence, 2022. - Venue: International Conference on Artificial General Intelligence, 2023.
- [Paper](http://kryten.mm.rpi.edu/M_launch.pdf) - [Paper](http://kryten.mm.rpi.edu/M_launch.pdf)
[CryptoSolve: A Tool for the Analysis of Cryptographic Modes of Operation](/paper/2209.01) [CryptoSolve: A Tool for the Analysis of Cryptographic Modes of Operation](/paper/2209.01)