Abhishek Anand

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 13

Top Topics

Sentiment Classification

Mathematical Proofs

Lego Mindstorms

Social Intelligence

Top Venues

Publications

Abhishek Anand, Negar Mokhberian, Prathyusha Naresh Kumar, Anweasha Saha, Zihao He, Ashwin Rao, Fred Morstatter, Kristina Lerman
Don't Blame the Data, Blame the Model: Understanding Noise and Bias When Learning from Subjective Annotations. CoRR (2024)
Ziyi Liu, Abhishek Anand, Pei Zhou, Jen-tse Huang, Jieyu Zhao
InterIntent: Investigating Social Intelligence of LLMs via Intention Understanding in an Interactive Game Context. CoRR (2024)
Sayan Sarkar, Abhishek Anand
An Integrated Multipurpose Low-Power Electrochemical Readout Interface with On-Chip Input Waveform Generator. VLSID (2024)
Alok Anand, Ivan Khokhlov, Abhishek Anand
C3S Micro-architectural Enhancement: Spike Encoder Block and Relaxing Gamma Clock (Asynchronous). CoRR (2023)
Alok Anand, Ivan Khokhlov, Abhishek Anand
Heterogeneous ALU Architecture - Power Aware System. CoRR (2023)
Abinash Tripathy, Abhishek Anand, Virender Kadyan
Sentiment classification of movie reviews using GA and NeuroGA. Multim. Tools Appl. 82 (6) (2023)
Ravi Kumar Arya, Abhishek Anand, Ayush Yadav, Akshat Gururani, Maxon Okramcha, Malay Ranjan Tripathy
Compact Fractal Reader Antenna for RFID Applications. RFID-TA (2021)
Alexander Zlokapa, Abhishek Anand, Jean-Roch Vlimant, Javier M. Duarte, Joshua Job, Daniel A. Lidar, Maria Spiropulu
Charged particle tracking with quantum annealing optimization. Quantum Mach. Intell. 3 (2) (2021)
Matthieu Sozeau, Abhishek Anand, Simon Boulier, Cyril Cohen, Yannick Forster, Fabian Kunze, Gregory Malecha, Nicolas Tabareau, Théo Winterhalter
The MetaCoq Project. J. Autom. Reason. 64 (5) (2020)
Alexander Zlokapa, Abhishek Anand, Jean-Roch Vlimant, Javier M. Duarte, Joshua Job, Daniel A. Lidar, Maria Spiropulu
Charged particle tracking with quantum annealing-inspired optimization. CoRR (2019)
Abhishek Anand, Simon Boulier, Cyril Cohen, Matthieu Sozeau, Nicolas Tabareau
Towards Certified Meta-Programming with Typed Template-Coq. ITP (2018)
Abinash Tripathy, Abhishek Anand, Santanu Kumar Rath
Document-level sentiment classification using hybrid machine learning approach. Knowl. Inf. Syst. 53 (3) (2017)
Abhishek Anand, Greg Morrisett
Revisiting Parametricity: Inductives and Uniformity of Propositions. CoRR (2017)
Maziar Fotouhi, Abhishek Anand, Ragib Hasan
PLAG: Practical Landmark Allocation for Cloud Geolocation. CLOUD (2015)
Abhishek Anand, Ross A. Knepper
ROSCoq: Robots Powered by Constructive Reals. ITP (2015)
Abhishek Anand, Vincent Rahli
A Generic Approach to Proofs about Substitution. LFMTP (2014)
Abhishek Anand, Vincent Rahli
Towards a Formally Verified Proof Assistant. ITP (2014)
Vincent Rahli, Mark Bickford, Abhishek Anand
Formal Program Optimization in Nuprl Using Computational Equivalence and Partial Types. ITP (2013)
Abhishek Anand, Vineet Padmanabhan
Time Series Qlet: Invariant approach for data mining. IC3 (2013)
Abhishek Anand, Hema Swetha Koppula, Thorsten Joachims, Ashutosh Saxena
Contextually guided semantic labeling and search for three-dimensional point clouds. Int. J. Robotics Res. 32 (1) (2013)
Abhishek Anand, Sherwin Li
3D Scene Grammar for Parsing RGB-D Pointclouds CoRR (2012)
Abhishek Anand, Hema Swetha Koppula, Thorsten Joachims, Ashutosh Saxena
Contextually Guided Semantic Labeling and Search for 3D Point Clouds CoRR (2011)
Hema Swetha Koppula, Abhishek Anand, Thorsten Joachims, Ashutosh Saxena
Labeling 3D scenes for Personal Assistant Robots CoRR (2011)
Maysam Yabandeh, Abhishek Anand, Marco Canini, Dejan Kostic
Finding Almost-Invariants in Distributed Systems. SRDS (2011)
Hema Swetha Koppula, Abhishek Anand, Thorsten Joachims, Ashutosh Saxena
Semantic Labeling of 3D Point Clouds for Indoor Scenes. NIPS (2011)
Abhishek Anand, Shikhar Sachan, Kalpesh Kapoor, Sukumar Nandi
QDMAC: An Energy Efficient Low Latency MAC Protocol for Query Based Wireless Sensor Networks. ICDCN (2009)