SIMDEA
Simdea is an information technology company that specializes in web and mobile solutions.
SIMDEA
Industry:
Information Technology Mobile Apps Web Development
Founded:
2015-01-01
Address:
Lisboa, Lisboa, Portugal
Country:
Portugal
Website Url:
http://www.simdea.pt
Total Employee:
1+
Status:
Active
Contact:
351-934256561
Email Addresses:
[email protected]
Technology used in webpage:
Viewport Meta IPhone / Mobile Compatible SPF SSL By Default Google Font API LetsEncrypt Apple Mobile Web Clips Icon WordPress Font Awesome Wordpress Plugins
Similar Organizations
AIRS
AIRS is an information technology company that develops web and smartphone applications.
Ensue
Ensue is an Information Technology company that solves UI/UX-based problems.
Fleka
Fleka is an information technology company that specializes in web and mobile solutions.
Maxdoro
Maxdoro is an information technology firm that specializes in developing mobile apps solutions.
One Logic
One Logic is an information technology company that provides web and mobile solutions.
Six Informàtics
SiX Informàtics is an information technology company that specializes in website and mobile application development.
The Next Flow
The Next Flow is an information technology company specialized in web and mobile apps development services.
Official Site Inspections
http://www.simdea.pt
- Host name: clean-zebra.openvservers.net
- IP address: 207.244.244.155
- Location: United States
- Latitude: 37.751
- Longitude: -97.822
- Timezone: America/Chicago
More informations about "Simdea"
Clever: A Curated Benchmark for Formally Verified Code Generation
We introduce CLEVER, the first curated benchmark for evaluating the generation of specifications and formally verified code in Lean. The benchmark comprises of 161 programming problems; …See details»
Evaluating the Robustness of Neural Networks: An Extreme Value...
Feb 15, 2018 Our analysis yields a novel robustness metric called CLEVER, which is short for Cross Lipschitz Extreme Value for nEtwork Robustness. The proposed CLEVER score is …See details»
CLEVER: A Curated Benchmark for Formally Verified Code Generation
Jul 8, 2025 TL;DR: We introduce CLEVER, a hand-curated benchmark for verified code generation in Lean. It requires full formal specs and proofs. No few-shot method solves all …See details»
Explainable AI reveals Clever Hans effects in unsupervised learning ...
Dec 31, 2024 Building on recent explainable AI techniques, this Article highlights the pervasiveness of Clever Hans effects in unsupervised learning and the substantial risks …See details»
LLaVA-OneVision: Easy Visual Task Transfer | OpenReview
Feb 9, 2025 We present LLaVA-OneVision, a family of open large multimodal models (LMMs) developed by consolidating our insights into data, models, and visual representations in the …See details»
Counterfactual Debiasing for Fact Verification
579 In this paper, we have proposed a novel counter- factual framework CLEVER for debiasing fact- checking models. Unlike existing works, CLEVER is augmentation-free and mitigates …See details»
Submissions | OpenReview
Jan 22, 2025 Leaving the barn door open for Clever Hans: Simple features predict LLM benchmark answers Lorenzo Pacchiardi, Marko Tesic, Lucy G Cheke, Jose Hernandez-Orallo …See details»
On the Planning Abilities of Large Language Models : A Critical ...
While, as we mentioned earlier, there can be thorny “clever hans” issues about humans prompting LLMs, an automated verifier mechanically backprompting the LLM doesn’t suffer from these. …See details»
TRANSFORMERS CAN NAVIGATE MAZES WITH MULTI-STEP …
En prediction objectives for basic graph navigation tasks. In particular, 114 the work identifies a Clever-Hans cheat based on shortcuts in teacher forced training similar to theo- 15 retical …See details»
EVALUATING THE ROBUSTNESS OF NEURAL NET : A E VALUE …
4 THE CLEVER ROBUSTNESS METRIC VIA EXTREME VALUE THEORY tack-agnostic score 2 proof deferred to Appendix B 3 proof deferred to Appendix C t of a classifier and Lj q;x0 is …See details»