Popular GitHub Repositories for Proof

A proof-of-concept jupyter extension which converts english queries into relevant python code

The purpose of this repository is to make prototypes as case study in the context of proof of concept(PoC) and research and development(R&D) that I have written in my website. The main research topics are Auto-Encoders in relation to the representation learning, the statistical machine learning for energy-based models, adversarial generation networks(GANs), Deep Reinforcement Learning such as Deep Q-Networks, semi-supervised learning, and neural network language model for natural language processing.

Java library for distributed zero knowledge proof systems

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

LLM OSINT is a proof-of-concept method of using LLMs to gather information from the internet and then perform a task with this information.

This case study shows how to create a model for text analysis and classification and deploy it as a web service in Azure cloud in order to automatically classify support tickets. This project is a proof of concept made by Microsoft (Commercial Software Engineering team) in collaboration with Endava http://endava.com/en

? Proof of Concept for a RESTful API made with Python 3 and FastAPI

A proof of concept text-to-speech application allowing global typing. Can be used over applications such as voice chats, games and much more.

NLP model and tech for cyber security tasks

This was my Master's project where i was involved using a dataset from Wireless Sensor Data Mining Lab (WISDM) to build a machine learning model to predict basic human activities using a smartphone accelerometer, Using Tensorflow framework, recurrent neural nets and multiple stacks of Long-short-term memory units(LSTM) for building a deep network. After the model was trained, it was saved and exported to an android application and the predictions were made using the model and the interface to speak out the results using text-to-speech API.

Proof of concept of a mixed reality application for the Microsoft HoloLens 2 integrating object recognition using cloud computing and real-time on-device markerless object tracking. The augmented objects provide interaction using hand input, eye-gaze, and voice commands to verify the tracking result visually.

proof-of-concept program that detects rail-track with semantic segmentation for autonomous train system

LLM Optimize is a proof-of-concept library for doing LLM (large language model) guided blackbox optimization.

A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.

This repo provides Generative AI and AI/ML code samples, blueprints (end-to-end solutions) and proof of concepts oriented to the LATAM market

kickstart your book writing process with AI (Proof of concept)

Proof Of Concept of DEcentralised Machine Learning on top of the Golem (https://golem.network/) architecture

Semantic information can help CNNs to get better illuminant estimation -- a proof of concept

An open-content programming cookbook. A responsible use of AI proof of concept. Collaborative, polyglot and multilingual.

Proof of concept code from Gretel.ai and Illumina using generative neural networks to create synthetic versions of mouse genotype and phenotype data.