GitHub

Source code for the paper Learning the greatest common divisor: explaining transformer predictions

This directory contains the source code for the paper Learning the greatest common divisor: explaining transformer predictions (ICLR 2024). To run the program: python train.py --dump_path MYPATH --exp ...
Frontiers

Node-crossing vectors (“NXV”) feasibly extends Mann Whitney U to handle ties and small samples for clinical rating scales

MWU is over 75 years old. It may be used when an approximately normal distribution of sample scores cannot be relied upon. A literature search for MWU for the present article gave over 50,000 articles ...
acm.org

Program Correctness through Self-Certification

Programming is both an enjoyable and a difficult task. A seemingly small slip can introduce a serious error or create a security vulnerability. The need for, and ...
Hacker

67 Stories To Learn About Problem Solving

Lets geek out. The HackerNoon library is now ranked by reading time created. Start learning by what others read most. Lets geek out. The HackerNoon library is now ranked by reading time created. Start ...
PNAS

A formally certified end-to-end implementation of Shor’s factorization algorithm

While hardware errors have garnered significant attention as the major obstacle to quantum computing, the error due to human factors in the implementation is less ...
GitHub

Data Structure and Algorithms Problems

Note: Some of the code here is old and was written when I was learning C++. It might be possible that code is not safe or making wrong assumptions. Please use with caution. Pull requests are always ...
Interesting Engineering

15 of the Most Important Algorithms That Helped Define Mathematics, Computing, and Physics

Algorithms are pre-defined, self-contained sets of instructions designed to execute diverse functions, and they have been around for longer than you might expect. From ancient Babylon to the present ...