8000 ptarau (Paul Tarau) / Following · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View ptarau's full-sized avatar
113 followers · 68 following

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Block or report ptarau

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@AHartNtkn
Anthony Hart AHartNtkn
Functional Programmer and Formal Verification Engineer with experience in Haskell and Coq

Heliax

@geneotech
Patryk Czachurski geneotech
Independent game developer whose reason to live is to witness his own online universe.

@TeamHypersomnia Poland

@rahulnyk
rahulnyk
@jjcmoon
Jaron Maene jjcmoon
PhD Student | Neurosymbolic AI

DTAI, KU Leuven

@jart
Justine Tunney jart

Google Mountain View, CA

@pgleamy
Patrick Gordon Leamy pgleamy
Developing AI applications. Experimenting and learning by making and breaking things.

PNLeamy Holdings Inc. Calgary, Alberta, Canada

@sienatarau
siena sienatarau
a kid who might make some stuff here and there
@ipromptcoder
ipromptcoder
@lucidrains
Phil Wang lucidrains
Working with Attention. It's all we need

San Francisco

@karpathy
Andrej karpathy
I like to train Deep Neural Nets on large datasets.

Stanford

@ha-k
Hassan Aït-Kaci ha-k
Long-time fan of AI Technology & Knowledge Automation by Constraint Inference

HAK Language Technologies Surrey, BC

@patrick-kidger
Patrick Kidger patrick-kidger
Building a JAX ecosystem: Equinox, Diffrax, Lineax, etc. ---- SciML, numerics, neural ODEs ---- Solo traveller, martial artist, scuba diver!

Cradle.bio Zürich

@divamgupta
Divam Gupta divamgupta
Creator of one-click ML tool - Liner.ai • AI for VR @ Meta • Previously: research @ Microsoft , robotics @ CMU

Pittsburgh, United States

@gmihaila
George Mihaila gmihaila
Research Scientist || @ Amazon | PhD. Computer Science

Amazon United States

@vpython
VPython vpython
@ciao-lang
The Ciao Programming Language ciao-lang
A general purpose, multi-paradigm programming language in the Prolog family

Earth

@Lexpedite
Lexpedite
Just Rules, Fit for Purpose
@mklimasz
Mateusz Klimaszewski mklimasz
PhD Student @ Warsaw University of Technology

Warsaw

@vthost
Veronika Thost vthost
@neogeny
Neogeny neogeny
Thinking things over
@UKPLab
Ubiquitous Knowledge Processing Lab UKPLab

Darmstadt, Germany

@yifan-guo01
Yifan Guo yifan-guo01
@azreasoners
ASU ARG azreasoners
This is the Github repo by the <a href="https://azreasoners.github.io">Automated Reasoning Group at Arizona State University</a> led by Joohyung Lee

Arizona State University

@mndrix
Michael Hendricks mndrix

Wyoming, USA

@stefaniaebli
Stefania Ebli stefaniaebli

EPFL Lausanne, Switzerland

@loukasa
Andreas Loukas loukasa

EPFL

@friguzzi
Fabrizio Riguzzi friguzzi

Dipartimento di Matematica e Informatica - Università di Ferrara Ferrara, Italy

@pmoura
Paulo Moura pmoura
Logtalk author, Logtalk and Prolog developer

Portugal

@cduck
Casey Duckering cduck
@konstantinosKokos
Konstantinos Kogkalidis konstantinosKokos
@lattner
Chris Lattner lattner

Bay Area, California, USA

@chen0040
Xianshun Chen chen0040
Researcher - Developer

Seattle, WA, USA

@w-sun28
w-sun28
@vcvpaiva
Valeria de Paiva vcvpaiva
I am a mathematician and AI Research Scientist. My research interests include category theory, type theories, semantics of NL and lexical semantics.

@ToposInstitute Cupertino, CA

@PierreLescanne
PierreLescanne

Ecole normale superieure de Lyon Lyon

@danielegrattarola
Daniele Grattarola danielegrattarola
Research scientist @ Isomorphic Labs
@afader
Tony Fader afader

Seattle, WA

@abitofalchemy
Salvador Aguinaga abitofalchemy
Graph data scientist, AI & hardware engineer - Working on design solutions using SOTA methods from NLP, Graph NN, and DL models.

Deloitte Indiana

@dmmiller612
Derek Miller dmmiller612

DeepCure Boston, Massachusetts

@kinjalbasu
Kinjal Basu kinjalbasu
I am a Computer Science PhD student in The University of Texas at Dallas working under Dr. Gopal Gupta. Interested in AI, NLP, CommonSense Reasoning, ML.

The University of Texas at Dallas Dallas, Texas

@franticnerd
franticnerd
@wwcohen
William Cohen wwcohen

Google

@chriskiehl
Chris chriskiehl
Software engineer and general awesome person Checkout my book! Data Oriented Programming in Java: https://mng.bz/BgQv

Amazon Seattle, WA

@gunthercox
Gunther Cox gunthercox
Robot builder and web application developer.

@Jellyfish-AI United States

@HaraldKorneliussen
Harald Korneliussen HaraldKorneliussen
A developer based in Ålesund, Norway. Eternal machine learning student.

Ålesund, Norway

@fchollet
François Chollet fchollet
@CapelliC
CapelliC
@sivareddyg
Siva Reddy sivareddyg
Assistant Professor

McGill University Montreal

@EdCo95
Ed Collins EdCo95
Founding Engineer @ Fifth Dimension

London

@pltrdy
Paul Tardy pltrdy
NLP Research Scientist on Neural Text Simplification (former Neural Abstractive Summarization PhD student)

u31 Paris, France

0